/home/coin/svn-release/OptimizationSuite-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.

Classes
class	flopc::Boolean_base
class	flopc::MP_boolean
	Reference counted class for all "boolean" types of data. More...
Namespaces
namespace	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.
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.
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.
MP_boolean	flopc::operator<= (const MP_index_exp &e1, const MP_index_exp &e2)
	boolean which returns true if all in domain evaluate to true.
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 overloadingThis 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 overloadingThis 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 overloadingThis 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 overloadingThis 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 overloadingThis 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.