Include dependency graph for MP_boolean.hpp:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | flopc::Boolean_base |
| Base class for all "boolean" types of data. More... | |
| class | flopc::MP_boolean |
| Reference counted class for all "boolean" types of data. More... | |
Namespaces | |
| flopc | |
| All flopc++ code is contained within the flopc namespace. | |
Functions | |
| MP_boolean | flopc::operator! (const MP_boolean &b) |
| For computing the logical negation of a booleanThis is used in the normal formation of an expression. More... | |
| MP_boolean | flopc::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. More... | |
| MP_boolean | flopc::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. More... | |
| MP_boolean | flopc::alltrue (const MP_domain &d, const MP_boolean &b) |
| boolean which returns true if all in domain evaluate to true. More... | |
| MP_boolean | flopc::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 expression. More... | |
| MP_boolean | flopc::operator<= (const Constant &e1, const Constant &e2) |
| constructs a boolean evaluator by comparing two constants. More... | |
| MP_boolean | flopc::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 expression. More... | |
| MP_boolean | flopc::operator< (const Constant &e1, const Constant &e2) |
| constructs a boolean evaluator by comparing two constants. More... | |
| MP_boolean | flopc::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 expression. More... | |
| MP_boolean | flopc::operator>= (const Constant &e1, const Constant &e2) |
| constructs a boolean evaluator by comparing two constants. More... | |
| MP_boolean | flopc::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 expression. More... | |
| MP_boolean | flopc::operator> (const Constant &e1, const Constant &e2) |
| constructs a boolean evaluator by comparing two constants. More... | |
| MP_boolean | flopc::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 expression. More... | |
| MP_boolean | flopc::operator== (const Constant &e1, const Constant &e2) |
| constructs a boolean evaluator by comparing two constants. More... | |
| MP_boolean | flopc::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 expression. More... | |
| MP_boolean | flopc::operator!= (const Constant &e1, const Constant &e2) |
| constructs a boolean evaluator by comparing two constants. More... | |
