Package owl.automaton.acceptance
Class GeneralizedCoBuchiAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.OmegaAcceptance
-
- owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
-
- Direct Known Subclasses:
CoBuchiAcceptance
public class GeneralizedCoBuchiAcceptance extends OmegaAcceptance
-
-
Field Summary
Fields Modifier and Type Field Description intsize
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description intacceptanceSets()Optional<BitSet>acceptingSet()Returns a set of indices which repeated infinitely often are accepting orOptional.empty()if no such set exists.jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>booleanExpression()Get the canonical representation asBooleanExpression.Stringname()List<Object>nameExtra()static GeneralizedCoBuchiAcceptanceof(int size)Optional<BitSet>rejectingSet()Returns a set of indices which repeated infinitely often are rejecting orOptional.empty()if no such set exists.-
Methods inherited from class owl.automaton.acceptance.OmegaAcceptance
isAccepting, isAcceptingEdge, isWellFormedAutomaton, isWellFormedEdge, toString
-
-
-
-
Method Detail
-
of
public static GeneralizedCoBuchiAcceptance of(int size)
-
acceptanceSets
public final int acceptanceSets()
- Specified by:
acceptanceSetsin classOmegaAcceptance
-
booleanExpression
public final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> booleanExpression()
Description copied from class:OmegaAcceptanceGet the canonical representation asBooleanExpression.- Specified by:
booleanExpressionin classOmegaAcceptance
-
name
public String name()
- Specified by:
namein classOmegaAcceptance
-
nameExtra
public List<Object> nameExtra()
- Overrides:
nameExtrain classOmegaAcceptance
-
acceptingSet
public Optional<BitSet> acceptingSet()
Description copied from class:OmegaAcceptanceReturns a set of indices which repeated infinitely often are accepting orOptional.empty()if no such set exists.- Specified by:
acceptingSetin classOmegaAcceptance- See Also:
OmegaAcceptance.isAccepting(BitSet)
-
rejectingSet
public Optional<BitSet> rejectingSet()
Description copied from class:OmegaAcceptanceReturns a set of indices which repeated infinitely often are rejecting orOptional.empty()if no such set exists.- Specified by:
rejectingSetin classOmegaAcceptance- See Also:
OmegaAcceptance.isAccepting(BitSet)
-
-