25 #ifndef constraint_evaluator_h
26 #define constraint_evaluator_h
58 function(
const string &n,
const bool_func f)
59 : name(n), b_func(f), bt_func(0), p_func(0)
61 function(
const string &n,
const btp_func f)
62 : name(n), bt_func(f), p_func(0)
64 function(
const string &n,
const proj_func f)
65 : name(n), bt_func(0), p_func(f)
67 function(): name(
""), bt_func(0), p_func(0)
71 vector<Clause *> expr;
73 vector<BaseType *> constants;
75 list<function> functions;
84 throw InternalErr(__FILE__, __LINE__,
"Unimplemented method");
136 #endif // constraint_evaluator_h