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 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_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 ...
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.
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...
All flopc++ code is contained within the flopc namespace.
Reference counted class for all "boolean" types of data.This contains counters to ConstantBase pointe...
MP_boolean(Boolean_base *r)
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...
virtual bool evaluate() const =0