12#ifndef CPROVER_SOLVERS_STRINGS_STRING_FORMAT_BUILTIN_FUNCTION_H
13#define CPROVER_SOLVERS_STRINGS_STRING_FORMAT_BUILTIN_FUNCTION_H
69 std::vector<array_string_exprt>
inputs;
78 const std::vector<exprt> &fun_args,
92 eval(
const std::function<
exprt(
const exprt &)> &get_value)
const override;
94 std::string
name()
const override
125 const exprt &integer,
126 const typet &length_type,
127 const unsigned long base);
132 const typet &index_type,
Correspondance between arrays and pointers string representations.
Base class for all expressions.
string_builtin_functiont()=delete
The type of an expression, extends irept.
Collection of constraints of different types: existential formulas, universal formulas,...