duration_variable | ValueTransitionLabel | |
effect | ValueTransitionLabel | |
op | ValueTransitionLabel | |
precond | ValueTransitionLabel | |
type | 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) | ValueTransitionLabel | [inline] |
~ValueTransitionLabel() | ValueTransitionLabel | [inline, virtual] |