cprover
|
#include <string_refinement_util.h>
Public Attributes | |
std::vector< string_constraintt > | universal |
std::vector< string_not_contains_constraintt > | not_contains |
Definition at line 57 of file string_refinement_util.h.
std::vector<string_not_contains_constraintt> string_axiomst::not_contains |
Definition at line 60 of file string_refinement_util.h.
Referenced by check_axioms(), string_refinementt::dec_solve(), generate_instantiations(), and initial_index_set().
std::vector<string_constraintt> string_axiomst::universal |
Definition at line 59 of file string_refinement_util.h.
Referenced by check_axioms(), string_refinementt::dec_solve(), generate_instantiations(), and initial_index_set().