abstracts | CCM::StateAbstraction | [private] |
abstractsIndex | CCM::StateAbstraction | [private] |
addField(int index, string abstracts, EqRel eq) | CCM::StateAbstraction | |
equal(StateNode abstr, StateNode impl) | CCM::StateAbstraction | |
rel | CCM::StateAbstraction | [private] |
resolve(IList implNames) | CCM::StateAbstraction | |
StateAbstraction(int numFields) | CCM::StateAbstraction | |
ToString() | CCM::StateAbstraction |