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

List of all members.

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

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 
) [inline, private]

Definition at line 102 of file MP_boolean.cpp.


Member Function Documentation

bool flopc::Boolean_lessEq::evaluate ( ) const [inline, private, virtual]

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: