/home/coin/SVN-release/CoinAll-1.1.0/FlopCpp/src/MP_boolean.hpp File Reference

#include <vector>
#include "MP_index.hpp"

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.

Namespaces
namespace	flopc
Classes
class	flopc::Boolean_base
class	flopc::MP_boolean
	Reference counted class for all "boolean" types of data. More...
Functions
MP_boolean	flopc::operator! (const MP_boolean &b)
	For computing the logical negation of a boolean This is used in the normal formation of an expression.
MP_boolean	flopc::operator && (const MP_boolean &e1, const MP_boolean &e2)
	For computing the logical AND of two booleans This is used in the normal formation of an expression.
MP_boolean	flopc::operator|| (const MP_boolean &e1, const MP_boolean &e2)
	For computing the logical OR of two booleans This is used in the normal formation of an expression.
MP_boolean	flopc::operator<= (const MP_index_exp &e1, const MP_index_exp &e2)
	constructs a boolean evaluator using operator overloading This is used in the normal formation of an expression.
MP_boolean	flopc::operator<= (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.
MP_boolean	flopc::operator< (const MP_index_exp &e1, const MP_index_exp &e2)
	constructs a boolean evaluator using operator overloading This is used in the normal formation of an expression.
MP_boolean	flopc::operator< (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.
MP_boolean	flopc::operator>= (const MP_index_exp &e1, const MP_index_exp &e2)
	constructs a boolean evaluator using operator overloading This is used in the normal formation of an expression.
MP_boolean	flopc::operator>= (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.
MP_boolean	flopc::operator> (const MP_index_exp &e1, const MP_index_exp &e2)
	constructs a boolean evaluator using operator overloading This is used in the normal formation of an expression.
MP_boolean	flopc::operator> (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.
MP_boolean	flopc::operator== (const MP_index_exp &e1, const MP_index_exp &e2)
	constructs a boolean evaluator using operator overloading This is used in the normal formation of an expression.
MP_boolean	flopc::operator== (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.
MP_boolean	flopc::operator!= (const MP_index_exp &e1, const MP_index_exp &e2)
	constructs a boolean evaluator using operator overloading This is used in the normal formation of an expression.
MP_boolean	flopc::operator!= (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.

---