25 #ifndef constraint_evaluator_h
26 #define constraint_evaluator_h
45 class ServerFunctionsList;
61 function(
const string &n,
const bool_func f)
62 : name(n), b_func(f), bt_func(0), p_func(0)
64 function(
const string &n,
const btp_func f)
65 : name(n), bt_func(f), p_func(0)
67 function(
const string &n,
const proj_func f)
68 : name(n), bt_func(0), p_func(f)
70 function(): name(
""), bt_func(0), p_func(0)
74 vector<Clause *> expr;
76 vector<BaseType *> constants;
78 list<function> functions;
90 throw InternalErr(__FILE__, __LINE__,
"Unimplemented method");
102 typedef std::list<function>::const_iterator Functions_citer ;
103 typedef std::list<function>::iterator Functions_iter ;
110 void add_function(
const string &name, bool_func f);
111 void add_function(
const string &name, btp_func f);
112 void add_function(
const string &name, proj_func f);
144 #endif // constraint_evaluator_h