Package owl.automaton.acceptance
Class EmersonLeiAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.EmersonLeiAcceptance
-
- Direct Known Subclasses:
GeneralizedBuchiAcceptance,GeneralizedCoBuchiAcceptance,GeneralizedRabinAcceptance,ParityAcceptance
public class EmersonLeiAcceptance extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description intacceptanceSets()Optional<ImmutableBitSet>acceptingSet()Returns a set of indices which repeated infinitely often are accepting orOptional.empty()if no such set exists.PropositionalFormula<Integer>booleanExpression()Get the canonical representation asPropositionalFormula.booleanequals(Object o)inthashCode()booleanisAccepting(BitSet set)Returns whether repeating these acceptance indices infinitely often would be accepting.booleanisAccepting(Set<Integer> set)booleanisAcceptingEdge(Edge<?> edge)Returns whether repeating this edge infinitely often would be accepting.<S> booleanisWellFormedAutomaton(Automaton<S,?> automaton)protected PropositionalFormula<Integer>lazyBooleanExpression()Stringname()List<Object>nameExtra()static EmersonLeiAcceptanceof(PropositionalFormula<Integer> expression)Find heuristically the weakest acceptance condition for the given expression and construct it.Optional<ImmutableBitSet>rejectingSet()Returns a set of indices which repeated infinitely often are rejecting orOptional.empty()if no such set exists.StringtoString()
-
-
-
Method Detail
-
of
public static EmersonLeiAcceptance of(PropositionalFormula<Integer> expression)
Find heuristically the weakest acceptance condition for the given expression and construct it. Only simple syntactic checks on the boolean expression of the acceptance conditions are performed. For advanced (and complete) techniques use the typeness implementations.- Returns:
- the acceptance condition.
-
acceptanceSets
public final int acceptanceSets()
-
booleanExpression
public final PropositionalFormula<Integer> booleanExpression()
Get the canonical representation asPropositionalFormula.
-
lazyBooleanExpression
@Nullable protected PropositionalFormula<Integer> lazyBooleanExpression()
-
name
@Nullable public String name()
-
acceptingSet
public Optional<ImmutableBitSet> acceptingSet()
Returns a set of indices which repeated infinitely often are accepting orOptional.empty()if no such set exists.- See Also:
isAccepting(BitSet)
-
rejectingSet
public Optional<ImmutableBitSet> rejectingSet()
Returns a set of indices which repeated infinitely often are rejecting orOptional.empty()if no such set exists.- See Also:
isAccepting(BitSet)
-
isAccepting
public boolean isAccepting(BitSet set)
Returns whether repeating these acceptance indices infinitely often would be accepting.
-
isAcceptingEdge
public boolean isAcceptingEdge(Edge<?> edge)
Returns whether repeating this edge infinitely often would be accepting.
-
isWellFormedAutomaton
public <S> boolean isWellFormedAutomaton(Automaton<S,?> automaton)
-
-