Package owl.automaton.acceptance
Class GeneralizedBuchiAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.OmegaAcceptance
-
- owl.automaton.acceptance.GeneralizedBuchiAcceptance
-
- Direct Known Subclasses:
BuchiAcceptance
public class GeneralizedBuchiAcceptance 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()BitSetacceptingSet()jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>booleanExpression()Builds the canonical representation asBooleanExpression.booleanisWellFormedEdge(Edge<?> edge)This method determines if the given edge is a well defined edge for this acceptance condition.Stringname()List<Object>nameExtra()static GeneralizedBuchiAcceptanceof(int size)BitSetrejectingSet()-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from class owl.automaton.acceptance.OmegaAcceptance
isWellFormedAutomaton, toString
-
-
-
-
Field Detail
-
size
@Nonnegative public final int size
-
-
Method Detail
-
of
public static GeneralizedBuchiAcceptance of(int size)
-
acceptanceSets
public final int acceptanceSets()
- Specified by:
acceptanceSetsin classOmegaAcceptance
-
booleanExpression
public jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> booleanExpression()
Description copied from class:OmegaAcceptanceBuilds 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 BitSet acceptingSet()
- Specified by:
acceptingSetin classOmegaAcceptance
-
rejectingSet
public BitSet rejectingSet()
- Specified by:
rejectingSetin classOmegaAcceptance
-
isWellFormedEdge
public boolean isWellFormedEdge(Edge<?> edge)
Description copied from class:OmegaAcceptanceThis method determines if the given edge is a well defined edge for this acceptance condition. E.g. a parity condition might check that the edge has at most one acceptance index and the index is less than the colour count.- Specified by:
isWellFormedEdgein classOmegaAcceptance- Parameters:
edge- The edge to be checked.- Returns:
- Whether the edge acceptance is well defined.
-
-