coco::iderf_eval_type Struct Reference
[Evaluators]

Visitor data for iderf_eval. More...

#include <iderf_evaluator.h>

Collaboration diagram for coco::iderf_eval_type:

Collaboration graph
[legend]

List of all members.

Public Attributes

const std::vector< interval > * x
const std::vector< interval > * range
std::vector< iderf_ret_type > * cache
const modelmod
union {
   void *   p
   interval_st   d
   int   info
u
iderf_ret_type r
unsigned int n
bool do_intersect


Detailed Description

This class is the visitor data type for the iderf_eval evaluator.

Definition at line 63 of file iderf_evaluator.h.


Member Data Documentation

the function range cache

Definition at line 67 of file iderf_evaluator.h.

Definition at line 71 of file iderf_evaluator.h.

compute an intersection with the node range?

Definition at line 75 of file iderf_evaluator.h.

Definition at line 71 of file iderf_evaluator.h.

the DAG

Definition at line 70 of file iderf_evaluator.h.

children counter

Definition at line 74 of file iderf_evaluator.h.

Definition at line 71 of file iderf_evaluator.h.

return value

Definition at line 73 of file iderf_evaluator.h.

the ranges of all nodes

Definition at line 66 of file iderf_evaluator.h.

union { ... } coco::iderf_eval_type::u

additional data for complex nodes

const std::vector<interval>* coco::iderf_eval_type::x

the box

Definition at line 65 of file iderf_evaluator.h.


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

Generated on Tue Feb 9 14:48:56 2010 for COCONUT API by  doxygen 1.5.8