condition | DomainTransitionGraphSymb::Transition | |
dump() | DomainTransitionGraphSymb::Transition | |
duration | DomainTransitionGraphSymb::Transition | |
op | DomainTransitionGraphSymb::Transition | |
operator<(const Transition &other) const | DomainTransitionGraphSymb::Transition | |
operator==(const Transition &other) const | DomainTransitionGraphSymb::Transition | [inline] |
set_condition | DomainTransitionGraphSymb::Transition | |
target | DomainTransitionGraphSymb::Transition | |
Transition(int theTarget, int theOp, trans_type theType) | DomainTransitionGraphSymb::Transition | [inline] |
type | DomainTransitionGraphSymb::Transition |