flopc::Boolean_alltrue Class Reference

Inheritance diagram for flopc::Boolean_alltrue:
Inheritance graph
[legend]
Collaboration diagram for flopc::Boolean_alltrue:
Collaboration graph
[legend]

List of all members.

Private Member Functions

 Boolean_alltrue (const MP_domain &d, const MP_boolean &b)
bool evaluate () const

Private Attributes

MP_domain D
MP_boolean B

Friends

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

Detailed Description

Definition at line 82 of file MP_boolean.cpp.


Constructor & Destructor Documentation

flopc::Boolean_alltrue::Boolean_alltrue ( const MP_domain d,
const MP_boolean b 
) [inline, private]

Definition at line 85 of file MP_boolean.cpp.


Member Function Documentation

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

Implements flopc::Boolean_base.

Definition at line 86 of file MP_boolean.cpp.


Friends And Related Function Documentation

MP_boolean alltrue ( const MP_domain d,
const MP_boolean b 
) [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.
Todo:
true? haven't used it.

Member Data Documentation

Definition at line 90 of file MP_boolean.cpp.

Definition at line 89 of file MP_boolean.cpp.


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

Generated on 21 Dec 2013 for FLOPC++ by  doxygen 1.6.1