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, anSDBWState
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.