Package org.svvrl.goal.core.comp.ramsey

  • Class Summary 
    Class Description
    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.