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
virtual ~ConstraintEvaluator()
std::vector< rvalue * > rvalue_list
bool boolean_expression()
Does the current constraint expression return a boolean value?
BaseType * eval_function(DDS &dds, const string &dataset)
Evaluate a function-valued constraint expression.
void parse_constraint(const string &constraint, DDS &dds)
Parse the constraint expression given the current DDS.
A class for software fault reporting.
std::vector< BaseType * >::const_iterator Constants_citer
bool eval_selection(DDS &dds, const string &dataset)
Evaluate a boolean-valued constraint expression. This is main method for the evaluator ans is called ...
DDS * eval_function_clauses(DDS &dds)
Evaluate a function-valued constraint expression that contains several function calls.
std::vector< BaseType * >::iterator Constants_iter
Evaluate a constraint expression.
friend class func_name_is
bool functional_expression()
Does the current constraint expression return a BaseType pointer? This method does not evaluate the c...
Clause_iter clause_begin()
std::vector< Clause * >::const_iterator Clause_citer
The basic data type for the DODS DAP types.
void append_constant(BaseType *btp)
bool clause_value(Clause_iter &i, DDS &dds)
bool function_clauses()
Does the current constraint expression contain function clauses.
std::vector< Clause * >::iterator Clause_iter
void append_clause(int op, rvalue *arg1, rvalue_list *arg2)
Add a clause to a constraint expression.
bool find_function(const string &name, bool_func *f) const
Find a Boolean function with a given name in the function list.