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 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:
e1 first constant expression
e2 second constant expression
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:
d MP_domain to evaluate with
b boolean 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:
e1 is an index expression
e2 second 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);


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

Generated by  doxygen 1.6.2