FLOPC++
Private Member Functions | Friends | List of all members
flopc::Boolean_lessEq Class Reference
Inheritance diagram for flopc::Boolean_lessEq:
flopc::Comparison flopc::Boolean_base

Private Member Functions

 Boolean_lessEq (const Constant &e1, const Constant &e2)
 
bool evaluate () const
 

Friends

MP_boolean 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. More...
 
MP_boolean 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...
 

Additional Inherited Members

- Protected Member Functions inherited from flopc::Comparison
 Comparison (const Constant &e1, const Constant &e2)
 
- Protected Member Functions inherited from flopc::Boolean_base
 Boolean_base ()
 
virtual ~Boolean_base ()
 
- Protected Attributes inherited from flopc::Comparison
Constant left
 
Constant right
 
- Protected Attributes inherited from flopc::Boolean_base
int count
 

Detailed Description

Definition at line 98 of file MP_boolean.cpp.

Constructor & Destructor Documentation

flopc::Boolean_lessEq::Boolean_lessEq ( const Constant e1,
const Constant e2 
)
inlineprivate

Definition at line 102 of file MP_boolean.cpp.

Member Function Documentation

bool flopc::Boolean_lessEq::evaluate ( ) const
inlineprivatevirtual

Implements flopc::Boolean_base.

Definition at line 103 of file MP_boolean.cpp.

References flopc::Comparison::left, and flopc::Comparison::right.

Friends And Related Function Documentation

MP_boolean operator<= ( const MP_index_exp e1,
const MP_index_exp e2 
)
friend

boolean which returns true if all in domain evaluate to true.This is used in the normal formation of an expression.

Parameters
dMP_domain to evaluate with
bboolean expression to evaluate.
Returns
A boolean which evaluates to true all domain evaluations of the boolean evaluate to true.constructs a boolean evaluator using operator overloading

This is used in the normal formation of an expression. This is useful when combining index expressions.

Parameters
e1is an index expression
e2second index expression
  • used in forming sets of tuples of index values, or subsets.
Todo:
improve this a bit?

The brief code below is a bit contrived, but the right hand side illustrate the utility of combining an index expression. MP_index i;
MP_index j;
MP_boolean &b = (i+5)<=(j);

Definition at line 175 of file MP_boolean.cpp.

MP_boolean operator<= ( const Constant e1,
const Constant e2 
)
friend

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

Parameters
e1first constant expression
e2second constant expression

Definition at line 178 of file MP_boolean.cpp.


The documentation for this class was generated from the following file: