coco::diffI_eval Class Reference
[Evaluators]
Forward function range evaluation.
More...
#include <diffI_evaluator.h>
Detailed Description
This class is a cached forward evaluator performing a function range evaluation by natural diffI extension.Definition at line 75 of file diffI_evaluator.h.
Member Typedef Documentation
typedef _Base::const_walker coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::const_walker [inherited] |
This is the type of the walker, which is used for the short-cuts.
Reimplemented from coco::cached_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 723 of file evaluator.h.
typedef diffI_eval_type coco::_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::data_type [inherited] |
The data_type specifies the type of the internal data of the evaluator.
Definition at line 305 of file evaluator.h.
typedef _Base::node_data_type coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::node_data_type [inherited] |
The node_data_type is the datatype of the nodes of the graph.
Reimplemented from coco::cached_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 719 of file evaluator.h.
typedef _Base::return_value coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::return_value [inherited] |
This type is the result type of the evaluator.
Reimplemented from coco::cached_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 721 of file evaluator.h.
Constructor & Destructor Documentation
| coco::diffI_eval::diffI_eval | ( | const std::vector< diffI > & | __x, | |
| const variable_indicator & | __v, | |||
| const model & | __m, | |||
| std::vector< diffI > * | __c, | |||
| int | __maxd | |||
| ) | [inline] |
Constructor: __x is the box over which the function range shall be evaluated, __v is a variable indicator specifying the variables that have changed value since the last evaluation, __m specifies the DAG, and __c the cache (may be NULL). The boolean do_i determines whether the natural diffI extension will use known node ranges for reducing the ranges.
Definition at line 143 of file diffI_evaluator.h.
| coco::diffI_eval::diffI_eval | ( | const diffI_eval & | __v | ) | [inline] |
Standard Copy Constructor
Definition at line 158 of file diffI_evaluator.h.
| coco::diffI_eval::~diffI_eval | ( | ) | [inline] |
Standard Destructor
Definition at line 161 of file diffI_evaluator.h.
Member Function Documentation
| void coco::diffI_eval::calculate | ( | const expression_node & | __data | ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< diffI_eval_type, expression_node, diffI, expression_const_walker >.
Definition at line 244 of file diffI_evaluator.h.
| diffI coco::diffI_eval::calculate_value | ( | bool | eval_all | ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< diffI_eval_type, expression_node, diffI, expression_const_walker >.
Definition at line 697 of file diffI_evaluator.h.
| virtual void coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::cleanup | ( | const node_data_type & | __data | ) | [inline, virtual, inherited] |
The cleanup method is called just before calculate_value and should be used to clean up dynamically allocated data. The __data parameter contains the node data of the graph node being visited.
Definition at line 804 of file evaluator.h.
| int coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::collect | ( | const node_data_type & | __data, | |
| const return_value & | __rval | |||
| ) | [inline, virtual, inherited] |
This method is needed by a visitor (see VGTL documentation) and is called for each normal node everytime a child node has been visited passing the return value of the child. It is translated to a call to update.
Reimplemented from coco::_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 750 of file evaluator.h.
| int coco::diffI_eval::initialize | ( | const expression_node & | __data | ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< diffI_eval_type, expression_node, diffI, expression_const_walker >.
Definition at line 182 of file diffI_evaluator.h.
| void coco::diffI_eval::initialize | ( | ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< diffI_eval_type, expression_node, diffI, expression_const_walker >.
Definition at line 180 of file diffI_evaluator.h.
| bool coco::diffI_eval::is_cached | ( | const node_data_type & | __data | ) | [inline, protected, virtual] |
This function determines, whether the range for this node is already available.
Reimplemented from coco::cached_forward_evaluator_base< diffI_eval_type, expression_node, diffI, expression_const_walker >.
Definition at line 88 of file diffI_evaluator.h.
| void coco::diffI_eval::new_interval | ( | const std::vector< diffI > & | __x, | |
| const variable_indicator & | __v | |||
| ) | [inline] |
This method changes the evaluation point to __x. The parameter __v specifies which variables have changed value since the last evaluation.
Definition at line 172 of file diffI_evaluator.h.
| void coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::postorder | ( | const node_data_type & | __data | ) | [inline, virtual, inherited] |
This method is needed by a visitor (see VGTL documentation) and is called right after all children of a node have been visited. It is translated into calls to calculate and cleanup.
Reimplemented from coco::_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 744 of file evaluator.h.
| int coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::preorder | ( | const node_data_type & | __data | ) | [inline, virtual, inherited] |
This method is needed by a visitor (see VGTL documentation) and is called right before any children of a node are visited. It checks whether the result of this node is cached and calls either retrieve_from_cache and stops the downwards walk or calls initialize.
Reimplemented from coco::cached_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 732 of file evaluator.h.
| void coco::diffI_eval::retrieve_from_cache | ( | const expression_node & | __data | ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< diffI_eval_type, expression_node, diffI, expression_const_walker >.
Definition at line 251 of file diffI_evaluator.h.
| expression_const_walker coco::diffI_eval::short_cut_to | ( | const expression_node & | __data | ) | [inline, virtual] |
NOP version, not needed
Reimplemented from coco::cached_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 164 of file diffI_evaluator.h.
| int coco::diffI_eval::update | ( | const expression_node & | __data, | |
| const diffI & | __rval | |||
| ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< diffI_eval_type, expression_node, diffI, expression_const_walker >.
Definition at line 263 of file diffI_evaluator.h.
| int coco::diffI_eval::update | ( | const diffI & | __rval | ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< diffI_eval_type, expression_node, diffI, expression_const_walker >.
Definition at line 256 of file diffI_evaluator.h.
| return_value coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::value | ( | ) | [inline, virtual, inherited] |
This method is needed by a visitor (see VGTL documentation) and is called right before the end of the visit of a normal node to retrieve the return value. It is translated to a call to calculate_value with parameter false.
Reimplemented from coco::_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 762 of file evaluator.h.
| int coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::vcollect | ( | const return_value & | __rval | ) | [inline, virtual, inherited] |
This method is needed by a visitor (see VGTL documentation) and is called for each virtual node everytime a child node has been visited passing the return value of the child. It is translated to a call to update.
Reimplemented from coco::_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 756 of file evaluator.h.
| void coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::vinit | ( | ) | [inline, inherited] |
This method is needed by a visitor using recursive_short_cut_walk for traversing the graph. It is called before performing any graph walk when at a virtual node. It is translated to initialize.
Definition at line 771 of file evaluator.h.
| return_value coco::cached_forward_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::vvalue | ( | ) | [inline, virtual, inherited] |
This method is needed by a visitor (see VGTL documentation) and is called right before the end of the visit of a virtual node to retrieve the return value. It is translated to a call to calculate_value with parameter true.
Reimplemented from coco::_evaluator_base< diffI_eval_type, expression_node, diffI,expression_const_walker >.
Definition at line 767 of file evaluator.h.
Member Data Documentation
diffI_eval_type coco::_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::eval_data [protected, inherited] |
The internal data of the evaluator
Definition at line 316 of file evaluator.h.
const variable_indicator* coco::cached_evaluator_base< diffI_eval_type , expression_node , diffI , expression_const_walker >::v_ind [protected, inherited] |
For caching a variable indicator is needed to check which nodes need not be re-evaluated.
Definition at line 427 of file evaluator.h.
The documentation for this class was generated from the following file:
