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