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

Public Member Functions

 Expression (expression_type::type type, Expression *lexpr, Expression *rexpr, Fact *term)
 
 Expression (expression_type::type type, Expression *lexpr, Expression *rexpr, Expression *elseexpr=nullptr)
 
 Expression (ConstraintEntry *qe)
 
expression_type::type get_type ()
 
Expressionget_left_expression ()
 
Expressionget_right_expression ()
 
Expressionget_else_expression ()
 
Factget_term ()
 
std::string get_action_name ()
 
ConstraintEntryget_quantified_entry ()
 
void set_module (std::string s)
 
std::string get_module ()
 
void set_delete_term (bool value)
 
bool is_simple_relation ()
 
void set_simple_relation_flag (bool value)
 

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