#include <domain_transition_graph.h>
Public Member Functions | |
void | dump () const |
ValueNode (DomainTransitionGraph *parent, int val) | |
Public Attributes | |
vector< ValueTransition > | additional_transitions |
DomainTransitionGraph * | parent_graph |
vector< ValueTransition > | transitions |
int | value |
Definition at line 77 of file search/domain_transition_graph.h.
ValueNode::ValueNode | ( | DomainTransitionGraph * | parent, |
int | val | ||
) | [inline] |
Definition at line 84 of file search/domain_transition_graph.h.
void ValueNode::dump | ( | ) | const |
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.
int ValueNode::value |
Definition at line 80 of file search/domain_transition_graph.h.