#include <domain_transition_graph.h>
Public Member Functions | |
FuncTransitionLabel (int the_starting_variable, vector< LocalAssignment > the_precond, vector< LocalAssignment > the_effect, assignment_op the_a_op, int the_influencing_variable, int the_duration_variable, trans_type type, Operator *the_op) | |
Public Attributes | |
assignment_op | a_op |
int | influencing_variable |
int | starting_variable |
Definition at line 100 of file search/domain_transition_graph.h.
FuncTransitionLabel::FuncTransitionLabel | ( | int | the_starting_variable, |
vector< LocalAssignment > | the_precond, | ||
vector< LocalAssignment > | the_effect, | ||
assignment_op | the_a_op, | ||
int | the_influencing_variable, | ||
int | the_duration_variable, | ||
trans_type | type, | ||
Operator * | the_op | ||
) | [inline] |
Definition at line 106 of file search/domain_transition_graph.h.
Definition at line 104 of file search/domain_transition_graph.h.
Definition at line 105 of file search/domain_transition_graph.h.
Definition at line 103 of file search/domain_transition_graph.h.