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;
92 eval(
const std::function<
exprt(
const exprt &)> &get_value)
const override;
94 std::string
name()
const override
94 std::string
name()
const override {
…}
126 const typet &length_type,
127 const unsigned long base);
132 const typet &index_type,
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Correspondance between arrays and pointers string representations.
Base class for all expressions.
Base class for string functions that are built in the solver.
The type of an expression, extends irept.
Collection of constraints of different types: existential formulas, universal formulas,...