|
Public Member Functions |
| TransitionAbstraction () |
| Create a new transition abstraction relation.
|
void | addStub (string name, string abstracts, Hashtable eq) |
| Add new stub field.
|
bool | equal (TransitionNode abstr, TransitionNode impl) |
| Return whether the two given TransitionNodes are equivalent.
|
override string | ToString () |
Private Attributes |
Hashtable | abstracts |
| Maps abstraction stub field names to implementation stub field names (string -> string).
|
Hashtable | rel |
| Maps abstraction stub field names to a hashtable of stub properties to equivalence releation (string -> (string -> EqRel)).
|