abstracts | CCM::TransitionAbstraction | [private] |
addStub(string name, string abstracts, Hashtable eq) | CCM::TransitionAbstraction | |
equal(TransitionNode abstr, TransitionNode impl) | CCM::TransitionAbstraction | |
rel | CCM::TransitionAbstraction | [private] |
ToString() | CCM::TransitionAbstraction | |
TransitionAbstraction() | CCM::TransitionAbstraction |