Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members   File Members  

infbound_eval Class Reference

#include <infb_evaluator.h>

Inheritance diagram for infbound_eval:

Inheritance graph
[legend]
Collaboration diagram for infbound_eval:

Collaboration graph
[legend]
List of all members.

Public Types

typedef cached_evaluator_base<
infbound_eval_type, expression_node,
infbound, model::walker
>::node_data_type 
node_data_type
typedef cached_evaluator_base<
infbound_eval_type, expression_node,
infbound, model::walker
>::return_value 
return_value
typedef cached_evaluator_base<
infbound_eval_type, expression_node,
infbound, model::walker
>::walker 
walker
typedef infbound_eval_type data_type

Public Methods

 infbound_eval (const std::vector< infbound > &__x, const variable_indicator &__v, const model &__m, std::vector< infbound > *__c)
 infbound_eval (const infbound_eval &__v)
 ~infbound_eval ()
model::walker short_cut_to (const expression_node &__data)
void initialize ()
int initialize (const expression_node &__data)
void calculate (const expression_node &__data)
void retrieve_from_cache (const expression_node &__data)
int update (const infbound &__rval)
int update (const expression_node &__data, const infbound &__rval)
infbound calculate_value (bool eval_all)
int preorder (const node_data_type &__data)
void postorder (const node_data_type &__data)
int collect (const node_data_type &__data, const return_value &__rval)
int vcollect (const return_value &__rval)
return_value value ()
return_value vvalue ()
void vinit ()
virtual int initialize (const node_data_type &__data)
virtual void calculate (const node_data_type &__data)
virtual void retrieve_from_cache (const node_data_type &__data)
virtual void cleanup (const node_data_type &__data)
virtual int update (const node_data_type &__data, const return_value &__rval)
virtual int update (const return_value &__rval)
virtual walker short_cut_to (const node_data_type &__data) PURE_VIRTUAL public

Protected Methods

bool is_cached (const node_data_type &__data)

Protected Attributes

const variable_indicatorv_ind
infbound_eval_type eval_data

Member Typedef Documentation

typedef infbound_eval_type _evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::data_type [inherited]
 

Definition at line 245 of file evaluator.h.

typedef cached_evaluator_base<infbound_eval_type, expression_node, infbound,model::walker>::node_data_type cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::node_data_type [inherited]
 

Reimplemented from cached_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 396 of file evaluator.h.

typedef cached_evaluator_base<infbound_eval_type, expression_node, infbound,model::walker>::return_value cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::return_value [inherited]
 

Reimplemented from cached_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 398 of file evaluator.h.

typedef cached_evaluator_base<infbound_eval_type, expression_node, infbound,model::walker>::walker cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::walker [inherited]
 

Reimplemented from cached_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 400 of file evaluator.h.


Constructor & Destructor Documentation

infbound_eval::infbound_eval const std::vector< infbound > &    __x,
const variable_indicator   __v,
const model   __m,
std::vector< infbound > *    __c
[inline]
 

Definition at line 111 of file infb_evaluator.h.

infbound_eval::infbound_eval const infbound_eval &    __v [inline]
 

Definition at line 123 of file infb_evaluator.h.

infbound_eval::~infbound_eval   [inline]
 

Definition at line 125 of file infb_evaluator.h.


Member Function Documentation

virtual void cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::calculate const node_data_type   __data [inline, virtual, inherited]
 

Definition at line 430 of file evaluator.h.

void infbound_eval::calculate const expression_node   __data [inline]
 

Definition at line 188 of file infb_evaluator.h.

infbound infbound_eval::calculate_value bool    eval_all [inline, virtual]
 

Reimplemented from cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 736 of file infb_evaluator.h.

virtual void cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::cleanup const node_data_type   __data [inline, virtual, inherited]
 

Definition at line 432 of file evaluator.h.

int cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::collect const node_data_type   __data,
const return_value   __rval
[inline, virtual, inherited]
 

Reimplemented from _evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 419 of file evaluator.h.

virtual int cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::initialize const node_data_type   __data [inline, virtual, inherited]
 

Definition at line 429 of file evaluator.h.

int infbound_eval::initialize const expression_node   __data [inline]
 

Definition at line 132 of file infb_evaluator.h.

void infbound_eval::initialize   [inline, virtual]
 

Reimplemented from cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 130 of file infb_evaluator.h.

bool infbound_eval::is_cached const node_data_type   __data [inline, protected, virtual]
 

Reimplemented from cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 65 of file infb_evaluator.h.

void cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::postorder const node_data_type   __data [inline, virtual, inherited]
 

Reimplemented from _evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 417 of file evaluator.h.

int cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::preorder const node_data_type   __data [inline, virtual, inherited]
 

Reimplemented from cached_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 408 of file evaluator.h.

virtual void cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::retrieve_from_cache const node_data_type   __data [inline, virtual, inherited]
 

Definition at line 431 of file evaluator.h.

void infbound_eval::retrieve_from_cache const expression_node   __data [inline]
 

Definition at line 200 of file infb_evaluator.h.

virtual walker cached_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::short_cut_to const node_data_type   __data [inline, virtual, inherited]
 

Definition at line 303 of file evaluator.h.

model::walker infbound_eval::short_cut_to const expression_node   __data [inline]
 

Definition at line 127 of file infb_evaluator.h.

virtual int cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::update const return_value   __rval [inline, virtual, inherited]
 

Definition at line 435 of file evaluator.h.

virtual int cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::update const node_data_type   __data,
const return_value   __rval
[inline, virtual, inherited]
 

Definition at line 433 of file evaluator.h.

int infbound_eval::update const expression_node   __data,
const infbound &    __rval
[inline]
 

Definition at line 225 of file infb_evaluator.h.

int infbound_eval::update const infbound &    __rval [inline]
 

Definition at line 219 of file infb_evaluator.h.

return_value cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::value   [inline, virtual, inherited]
 

Reimplemented from _evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 423 of file evaluator.h.

int cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::vcollect const return_value   __rval [inline, virtual, inherited]
 

Reimplemented from _evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 421 of file evaluator.h.

void cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::vinit   [inline, inherited]
 

Definition at line 425 of file evaluator.h.

return_value cached_forward_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::vvalue   [inline, virtual, inherited]
 

Reimplemented from _evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >.

Definition at line 424 of file evaluator.h.


Member Data Documentation

infbound_eval_type _evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::eval_data [protected, inherited]
 

Definition at line 252 of file evaluator.h.

const variable_indicator* cached_evaluator_base< infbound_eval_type, expression_node, infbound, model::walker >::v_ind [protected, inherited]
 

Definition at line 295 of file evaluator.h.


The documentation for this class was generated from the following file:
Generated on Tue Nov 4 01:59:13 2003 for COCONUT API by doxygen1.2.18