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
virtual ~ConstraintEvaluator()
std::vector< rvalue * > rvalue_list
bool boolean_expression()
Does the current constraint expression return a boolean value?
std::list< function >::const_iterator Functions_citer
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()
void add_function(const string &name, bool_func f)
Add a boolean function to the list.
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 return a DDS pointer?
std::vector< Clause * >::iterator Clause_iter
void append_clause(int op, rvalue *arg1, rvalue_list *arg2)
Add a clause to a constraint expression.
std::list< function >::iterator Functions_iter
bool find_function(const string &name, bool_func *f) const
Find a Boolean function with a given name in the function list.