/home/coin/svn-release/Smi-0.95.2/FlopCpp/src/MP_boolean.hpp File Reference

#include "MP_index.hpp"
#include "MP_constant.hpp"
#include "MP_utilities.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
 Base class for all "boolean" types of data. More...
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::alltrue (const MP_domain &d, const MP_boolean &b)
 boolean which returns true if all in domain evaluate to true.
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.
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.

Generated on 3 Jun 2015 by  doxygen 1.6.1