coco::interval_eval Class Reference
[Evaluators]
Forward function range evaluation.
More...
#include <int_evaluator.h>
Detailed Description
This class is a cached forward evaluator performing a function range evaluation by natural interval extension.Definition at line 71 of file int_evaluator.h.
Member Typedef Documentation
typedef _Base::const_walker coco::cached_forward_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 723 of file evaluator.h.
typedef interval_eval_type coco::_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type , expression_node , interval , 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< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 719 of file evaluator.h.
typedef _Base::return_value coco::cached_forward_evaluator_base< interval_eval_type , expression_node , interval , expression_const_walker >::return_value [inherited] |
This type is the result type of the evaluator.
Reimplemented from coco::cached_evaluator_base< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 721 of file evaluator.h.
Constructor & Destructor Documentation
| coco::interval_eval::interval_eval | ( | const std::vector< interval > & | __x, | |
| const variable_indicator & | __v, | |||
| const model & | __m, | |||
| std::vector< interval > * | __c, | |||
| bool | do_i = true | |||
| ) | [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 interval extension will use known node ranges for reducing the ranges.
Definition at line 138 of file int_evaluator.h.
| coco::interval_eval::interval_eval | ( | const interval_eval & | __v | ) | [inline] |
Standard Copy Constructor
Definition at line 152 of file int_evaluator.h.
| coco::interval_eval::~interval_eval | ( | ) | [inline] |
Standard Destructor
Definition at line 155 of file int_evaluator.h.
Member Function Documentation
| void coco::interval_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< interval_eval_type, expression_node, interval, expression_const_walker >.
Definition at line 231 of file int_evaluator.h.
| interval coco::interval_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< interval_eval_type, expression_node, interval, expression_const_walker >.
Definition at line 709 of file int_evaluator.h.
| virtual void coco::cached_forward_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type , expression_node , interval , 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< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 750 of file evaluator.h.
| int coco::interval_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< interval_eval_type, expression_node, interval, expression_const_walker >.
Definition at line 174 of file int_evaluator.h.
| void coco::interval_eval::initialize | ( | ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< interval_eval_type, expression_node, interval, expression_const_walker >.
Definition at line 172 of file int_evaluator.h.
| bool coco::interval_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< interval_eval_type, expression_node, interval, expression_const_walker >.
Definition at line 83 of file int_evaluator.h.
| void coco::interval_eval::new_box | ( | const std::vector< interval > & | __x, | |
| const variable_indicator & | __v | |||
| ) | [inline] |
This method changes the evaluation box to __x. The parameter __v specifies which variables have changed value since the last evaluation.
Definition at line 164 of file int_evaluator.h.
| void coco::cached_forward_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 744 of file evaluator.h.
| int coco::cached_forward_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 732 of file evaluator.h.
| void coco::interval_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< interval_eval_type, expression_node, interval, expression_const_walker >.
Definition at line 242 of file int_evaluator.h.
| expression_const_walker coco::interval_eval::short_cut_to | ( | const expression_node & | __data | ) | [inline, virtual] |
NOP version, not needed
Reimplemented from coco::cached_evaluator_base< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 158 of file int_evaluator.h.
| int coco::interval_eval::update | ( | const expression_node & | __data, | |
| const interval & | __rval | |||
| ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< interval_eval_type, expression_node, interval, expression_const_walker >.
Definition at line 267 of file int_evaluator.h.
| int coco::interval_eval::update | ( | const interval & | __rval | ) | [inline, virtual] |
This is an evaluator method, as defined for the various evaluators.
Reimplemented from coco::cached_forward_evaluator_base< interval_eval_type, expression_node, interval, expression_const_walker >.
Definition at line 261 of file int_evaluator.h.
| return_value coco::cached_forward_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 762 of file evaluator.h.
| int coco::cached_forward_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 756 of file evaluator.h.
| void coco::cached_forward_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type , expression_node , interval , 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< interval_eval_type, expression_node, interval,expression_const_walker >.
Definition at line 767 of file evaluator.h.
Member Data Documentation
interval_eval_type coco::_evaluator_base< interval_eval_type , expression_node , interval , 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< interval_eval_type , expression_node , interval , 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:
