Go to the documentation of this file.
9 #ifndef _MP_boolean_hpp_
10 #define _MP_boolean_hpp_
MP_boolean operator||(const MP_boolean &e1, const MP_boolean &e2)
For computing the logical OR of two booleans.
Reference counted class for all "constant" types of data.
Range over which some other constuct is defined.
MP_boolean operator!=(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloading
Utility for doing reference counted pointers.
Base class for all "boolean" types of data.
Reference counted class for all "boolean" types of data.
MP_boolean operator&&(const MP_boolean &e1, const MP_boolean &e2)
For computing the logical AND of two booleans.
MP_boolean(const Constant &c)
MP_boolean operator<(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloading
MP_boolean operator==(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloading
virtual bool evaluate() const =0
MP_boolean operator>=(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloading
MP_boolean operator!(const MP_boolean &b)
For computing the logical negation of a boolean.
friend class MP_domain_base_
MP_boolean alltrue(const MP_domain &d, const MP_boolean &b)
boolean which returns true if all in domain evaluate to true.
MP_boolean operator>(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloading
All flopc++ code is contained within the flopc namespace.
MP_boolean operator<=(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloading
MP_boolean(Boolean_base *r)
Representation of an expression involving an index.
Internal representation of a "set".