FLOPC++
|
#include "MP_boolean.hpp"
#include "MP_constant.hpp"
#include "MP_domain.hpp"
#include "MP_set.hpp"
#include "MP_index.hpp"
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::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 | |
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.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.This is used in the normal formation of an expression. This utility of this is when comparing 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. This is useful when combining index expressions. | |
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 | |
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. | |
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 | |
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. | |
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 | |
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. | |
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. | |
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 | |
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 |