#include <domain_transition_graph.h>
Public Member Functions | |
void | dump () const |
ValueTransition (ValueNode *targ) | |
Public Attributes | |
vector< ValueTransitionLabel * > | ccg_labels |
ValueNode * | target |
Definition at line 67 of file search/domain_transition_graph.h.
ValueTransition::ValueTransition | ( | ValueNode * | targ | ) | [inline] |
Definition at line 73 of file search/domain_transition_graph.h.
void ValueTransition::dump | ( | ) | const |
Definition at line 71 of file search/domain_transition_graph.h.
Definition at line 70 of file search/domain_transition_graph.h.