FLOPC++
Classes | Namespaces | Functions
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.This contains counters to ConstantBase pointers. These pointers may be of any of the Boolean_base * type. This can be a constant valued boolean as well. explain SUBSETREF explain using pointer in – should be private? 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.This 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 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...