56 return !(
B->evaluate());
66 return left->evaluate() && right->evaluate();
76 return left->evaluate() || right->evaluate();
104 return (left->evaluate() <= right->evaluate());
115 return (left->evaluate() < right->evaluate());
128 return (left->evaluate() >= right->evaluate());
138 return (left->evaluate() > right->evaluate());
148 return (left->evaluate() == right->evaluate());
158 return (left->evaluate() != right->evaluate());
214 using namespace flopc;
MP_boolean operator &&(const MP_boolean &e1, const MP_boolean &e2)
For computing the logical AND of two booleansThis is used in the normal formation of an expression...
Boolean_less(const Constant &e1, const Constant &e2)
MP_boolean operator!=(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...
MP_boolean operator>=(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...
MP_boolean operator!(const MP_boolean &b)
For computing the logical negation of a booleanThis is used in the normal formation of an expression...
MP_boolean operator||(const MP_boolean &e1, const MP_boolean &e2)
For computing the logical OR of two booleansThis is used in the normal formation of an expression...
MP_boolean operator<=(const MP_index_exp &e1, const MP_index_exp &e2)
boolean which returns true if all in domain evaluate to true.This is used in the normal formation of ...
Representation of an index.This is one of the main public interface classes. It is used to iterate th...
Internal representation of a "set".
MP_boolean operator>(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...
Utility for doing reference counted pointers.
Boolean_not_equal(const Constant &e1, const Constant &e2)
Comparison(const Constant &e1, const Constant &e2)
Boolean_negate(const MP_boolean &b)
Representation of an expression involving an index.This is one of the main public interface classes...
MP_boolean operator<(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...
Boolean_equal(const Constant &e1, const Constant &e2)
Boolean_or(const MP_boolean &e1, const MP_boolean &e2)
const int outOfBound
Distinct return value on conditions where an index goes out of bounds.
All flopc++ code is contained within the flopc namespace.
Boolean_greater(const Constant &e1, const Constant &e2)
Boolean_lessEq(const Constant &e1, const Constant &e2)
Reference counted class for all "boolean" types of data.This contains counters to ConstantBase pointe...
Reference counted class for all "constant" types of data.
MP_boolean operator==(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...
Boolean_and(const MP_boolean &e1, const MP_boolean e2)
Boolean_Constant(const Constant &c)
Boolean_greaterEq(const Constant &e1, const Constant &e2)
Boolean_SUBSETREF(SUBSETREF &c)