flopc::Boolean_alltrue Class Reference

Inheritance diagram for flopc::Boolean_alltrue:

Collaboration diagram for flopc::Boolean_alltrue:

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

Additional Inherited Members
Protected Member Functions inherited from flopc::Boolean_base
	Boolean_base ()
virtual	~Boolean_base ()
Protected Attributes inherited from flopc::Boolean_base
int	count

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  )

inlineprivate

Definition at line 85 of file MP_boolean.cpp.

Member Function Documentation

bool flopc::Boolean_alltrue::evaluate ( ) const

inlineprivatevirtual

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.

Definition at line 152 of file MP_boolean.cpp.

Member Data Documentation

MP_boolean flopc::Boolean_alltrue::B

private

Definition at line 90 of file MP_boolean.cpp.

MP_domain flopc::Boolean_alltrue::D

private

Definition at line 89 of file MP_boolean.cpp.

---

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

• MP_boolean.cpp