Public Member Functions | Public Attributes
ValueNode Struct Reference

#include <domain_transition_graph.h>

List of all members.

Public Member Functions

void dump () const
 ValueNode (DomainTransitionGraph *parent, int val)

Public Attributes

vector< ValueTransitionadditional_transitions
DomainTransitionGraphparent_graph
vector< ValueTransitiontransitions
int value

Detailed Description

Definition at line 77 of file search/domain_transition_graph.h.


Constructor & Destructor Documentation

ValueNode::ValueNode ( DomainTransitionGraph parent,
int  val 
) [inline]

Definition at line 84 of file search/domain_transition_graph.h.


Member Function Documentation

void ValueNode::dump ( ) const

Member Data Documentation

Definition at line 82 of file search/domain_transition_graph.h.

Definition at line 79 of file search/domain_transition_graph.h.

Definition at line 81 of file search/domain_transition_graph.h.

Definition at line 80 of file search/domain_transition_graph.h.


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


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06