6 PredicateOperator::PredicateOperator(CompOp _op, Set **domain, uint numDomain) : Predicate(OPERATORPRED) , op(_op), domains(domain, numDomain) {
9 PredicateTable::PredicateTable(Table *_table, UndefinedBehavior _undefBehavior) : Predicate(TABLEPRED), table(_table), undefinedbehavior(_undefBehavior) {
12 bool PredicateOperator::evalPredicateOperator(uint64_t *inputs) {
15 return inputs[0] == inputs[1];
17 return inputs[0] < inputs[1];
19 return inputs[0] > inputs[1];
21 return inputs[0] <= inputs[1];
23 return inputs[0] >= inputs[1];