Profile |
This class provides an implementation of the S* in [A.
|
ProfileAutomaton |
This class provides an implementation of the à in [A.
|
RamseyConstruction |
This class provides an implementation of the Ramsey-Based complementation
described in [A.
|
RamseyOptions |
This class contains several options for the Ramsey-based construction.
|
RunPair |
A RunPair is a pair of a state and a boolean which indicates the run
from some state to this state passes accepting states or not.
|
RunSummary |
A RunSummary collects several RunPair objects.
|