Inter4ql  5.2
Public Member Functions | List of all members
Inter4ql::ConstraintEntry Class Reference

Public Member Functions

 ConstraintEntry (std::vector< QuantifierEntry *> *q, Expression *body, std::vector< Inter4ql::Value *> *values)
 
std::vector< QuantifierEntry * > * get_quantifiers ()
 
Expressionget_body ()
 
std::vector< Inter4ql::Value * > * get_values ()
 

The documentation for this class was generated from the following file: