#include <domain_transition_graph.h>

Public Member Functions | |
| ValueTransitionLabel (int the_duration_variable, const vector< LocalAssignment > &the_precond, trans_type the_type, const vector< LocalAssignment > &the_effect=vector< LocalAssignment >(), Operator *theOp=NULL) | |
| virtual | ~ValueTransitionLabel () |
Public Attributes | |
| int | duration_variable |
| vector< LocalAssignment > | effect |
| Operator * | op |
| vector< LocalAssignment > | precond |
| trans_type | type |
Definition at line 51 of file search/domain_transition_graph.h.
| ValueTransitionLabel::ValueTransitionLabel | ( | int | the_duration_variable, |
| const vector< LocalAssignment > & | the_precond, | ||
| trans_type | the_type, | ||
| const vector< LocalAssignment > & | the_effect = vector<LocalAssignment> (), |
||
| Operator * | theOp = NULL |
||
| ) | [inline] |
Definition at line 59 of file search/domain_transition_graph.h.
| virtual ValueTransitionLabel::~ValueTransitionLabel | ( | ) | [inline, virtual] |
Definition at line 64 of file search/domain_transition_graph.h.
Definition at line 54 of file search/domain_transition_graph.h.
Definition at line 57 of file search/domain_transition_graph.h.
Definition at line 58 of file search/domain_transition_graph.h.
Definition at line 55 of file search/domain_transition_graph.h.
Definition at line 56 of file search/domain_transition_graph.h.