| MSContainment |
Test if an NBW A is contained in another NBW B by constructing the
intersection of A and the complement of B incrementally.
|
| MSContainmentOptions |
This class contains several options for the containment with the
Muller-Schupp construction.
|
| MSContainmentState |
MSContainmentState is used in the on-the-fly containment testing with
the Muller-Schupp construction.
|
| MSConverter |
This class provides an implementation of the Muller-Schupp determinization
algorithm [David E.
|
| MSConverter.NBW2DRWConverter |
This is the real implementation of the Muller-Schupp determinization.
|
| MSState |
A MSState is a state in the DRW created by the Muller-Schupp
construction.
|
| MSStateInfoDrawer |
This is a drawer that can display the information of a state with a
Muller-Schupp tree.
|
| MSTree |
This class provides an implementation of the Muller-Schupp binary tree [David
E.
|
| MullerSchuppConstruction |
This class provides an implementation of the Muller-Schupp construction
[David E.
|
| Node |
A Node is a tree node in a Muller-Schupp binary tree.
|