9 #ifndef _MP_boolean_hpp_
10 #define _MP_boolean_hpp_
58 MP_boolean
operator!(
const MP_boolean& b);
68 MP_boolean
operator&&(
const MP_boolean& e1,
const MP_boolean& e2);
78 MP_boolean
operator||(
const MP_boolean& e1,
const MP_boolean& e2);
107 MP_boolean
operator<=(
const MP_index_exp& e1,
const MP_index_exp& e2);
116 MP_boolean
operator<=(
const Constant& e1,
const Constant& e2);
127 MP_boolean
operator<(
const MP_index_exp& e1,
const MP_index_exp& e2);
136 MP_boolean
operator<(
const Constant& e1,
const Constant& e2);
147 MP_boolean
operator>=(
const MP_index_exp& e1,
const MP_index_exp& e2);
156 MP_boolean
operator>=(
const Constant& e1,
const Constant& e2);
167 MP_boolean
operator>(
const MP_index_exp& e1,
const MP_index_exp& e2);
176 MP_boolean
operator>(
const Constant& e1,
const Constant& e2);
187 MP_boolean
operator==(
const MP_index_exp& e1,
const MP_index_exp& e2);
196 MP_boolean
operator==(
const Constant& e1,
const Constant& e2);
207 MP_boolean
operator!=(
const MP_index_exp& e1,
const MP_index_exp& e2);
216 MP_boolean
operator!=(
const Constant& e1,
const Constant& e2);
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.
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