Package org.svvrl.goal.core.aut.sdbw

  • Class Summary 
    Class Description
    RandomSDBW
    This class provides a generator for semi-deterministic Büchi word automata (SDBW).
    SDBW
    This class provides a wrapper of an automaton as a semi-deterministic Büchi automaton (SDBW).
    SDBWConstruction
    This class provides an implementation of a complementation construction for semi-deterministic Büchi automata (SDBW).
    SDBWState
    Given a semi-deterministic Büchi automaton with states partitioned into N and D, an SDBWState is a tuple (U, S0, S1, O) where U is a subset of N, S0 is a subset of D, S1 is a subset of D that contains states supposed not to reach accepting states anymore, and O is a subset of D that contains states need to reach accepting states in the future.