Package owl.automaton.acceptance
Class CoBuchiAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.OmegaAcceptance
-
- owl.automaton.acceptance.CoBuchiAcceptance
-
public final class CoBuchiAcceptance extends OmegaAcceptance
-
-
Field Summary
Fields Modifier and Type Field Description static CoBuchiAcceptance
INSTANCE
-
Constructor Summary
Constructors Constructor Description CoBuchiAcceptance()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
acceptanceSets()
BitSet
acceptingSet()
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>
booleanExpression()
Builds the canonical representation asBooleanExpression
.boolean
isWellFormedEdge(Edge<?> edge)
This method determines if the given edge is a well defined edge for this acceptance condition.String
name()
List<Object>
nameExtra()
BitSet
rejectingSet()
-
Methods inherited from class owl.automaton.acceptance.OmegaAcceptance
isWellFormedAutomaton, toString
-
-
-
-
Field Detail
-
INSTANCE
public static final CoBuchiAcceptance INSTANCE
-
-
Method Detail
-
acceptanceSets
public int acceptanceSets()
- Specified by:
acceptanceSets
in classOmegaAcceptance
-
booleanExpression
public jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> booleanExpression()
Description copied from class:OmegaAcceptance
Builds the canonical representation asBooleanExpression
.- Specified by:
booleanExpression
in classOmegaAcceptance
-
name
public String name()
- Specified by:
name
in classOmegaAcceptance
-
nameExtra
public List<Object> nameExtra()
- Overrides:
nameExtra
in classOmegaAcceptance
-
acceptingSet
public BitSet acceptingSet()
- Specified by:
acceptingSet
in classOmegaAcceptance
-
rejectingSet
public BitSet rejectingSet()
- Specified by:
rejectingSet
in classOmegaAcceptance
-
isWellFormedEdge
public boolean isWellFormedEdge(Edge<?> edge)
Description copied from class:OmegaAcceptance
This 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:
isWellFormedEdge
in classOmegaAcceptance
- Parameters:
edge
- The edge to be checked.- Returns:
- Whether the edge acceptance is well defined.
-
-