1 #ifndef __EXPRESSSION_H__ 2 #define __EXPRESSSION_H__ 16 expression_type::type get_type();
21 std::string get_action_name();
23 void set_module(std::string s);
24 std::string get_module();
25 void set_delete_term(
bool value);
26 bool is_simple_relation();
27 void set_simple_relation_flag(
bool value);
29 expression_type::type my_type;
36 bool should_delete_term;
37 bool simple_relation_flag;
class that implements a fact
Definition: Fact.h:14
Definition: Expression.h:10
Definition: Application.cc:37
Definition: Constraints.h:29