Inter4ql
5.2
|
Public Member Functions | |
ConstraintEntry (std::vector< QuantifierEntry *> *q, Expression *body, std::vector< Inter4ql::Value *> *values) | |
std::vector< QuantifierEntry * > * | get_quantifiers () |
Expression * | get_body () |
std::vector< Inter4ql::Value * > * | get_values () |