See: Description
| Class | Description |
|---|---|
| AlternatingSimulation |
Compute the alternating simulation of two interface automata.
|
| CombineInternalTransitions |
Combine the internal transitions using the combineInternalTransitions()
method.
|
| Compose |
Compute the composition of interface automata.
|
| DeadlockStates |
Display the deadlock states.
|
| GetInfo |
Display the high-level information of interface automata to stdout.
|
| Project |
Compute the projection of an interface automaton to another one.
|
| ZeroOneSource |
This actor produces the sequence 011101011011000... as source of the AMI
(Alternating Mark 1) test.
|