cprover
|
Collection of constraints of different types: existential formulas, universal formulas, and "not contains" (universal with one alternation). More...
#include <string_constraint_generator.h>
Public Member Functions | |
void | clear () |
Clear all constraints. More... | |
Public Attributes | |
std::vector< exprt > | existential |
std::vector< string_constraintt > | universal |
std::vector< string_not_contains_constraintt > | not_contains |
Collection of constraints of different types: existential formulas, universal formulas, and "not contains" (universal with one alternation).
Definition at line 108 of file string_constraint_generator.h.
void string_constraintst::clear | ( | void | ) |
Clear all constraints.
Definition at line 217 of file string_constraint_generator_main.cpp.
std::vector<exprt> string_constraintst::existential |
Definition at line 110 of file string_constraint_generator.h.
std::vector<string_not_contains_constraintt> string_constraintst::not_contains |
Definition at line 112 of file string_constraint_generator.h.
std::vector<string_constraintt> string_constraintst::universal |
Definition at line 111 of file string_constraint_generator.h.