MP_boolean.cpp File Reference

#include "MP_boolean.hpp"
#include "MP_constant.hpp"
#include "MP_domain.hpp"
#include "MP_set.hpp"

Include dependency graph for MP_boolean.cpp:

Go to the source code of this file.

Classes
class	flopc::Boolean_bool
class	flopc::Boolean_Constant
class	flopc::Boolean_SUBSETREF
class	flopc::Boolean_negate
class	flopc::Boolean_and
class	flopc::Boolean_or
class	flopc::Boolean_alltrue
class	flopc::Comparison
class	flopc::Boolean_lessEq
class	flopc::Boolean_less
class	flopc::Boolean_greaterEq
class	flopc::Boolean_greater
class	flopc::Boolean_equal
class	flopc::Boolean_not_equal

Namespaces
	flopc
	All flopc++ code is contained within the flopc namespace.

Functions
MP_boolean	flopc::alltrue (const MP_domain &d, const MP_boolean &b)
	boolean which returns true if all in domain evaluate to true.This is used in the normal formation of an expression. More...
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::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. This is useful when combining index expressions. More...
MP_boolean	flopc::operator<= (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing 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. This is useful when combining index expressions. More...
MP_boolean	flopc::operator< (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing 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. This is useful when combining index expressions. More...
MP_boolean	flopc::operator>= (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing 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. This is useful when combining index expressions. More...
MP_boolean	flopc::operator> (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing 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. This is useful when combining index expressions. 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. This is useful when combining index expressions. More...
MP_boolean	flopc::operator== (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing constants More...
MP_boolean	flopc::operator!= (const Constant &e1, const Constant &e2)
	constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing constants More...