Class OmegaAcceptance

    • Constructor Detail

      • OmegaAcceptance

        public OmegaAcceptance()
    • Method Detail

      • acceptanceSets

        public abstract int acceptanceSets()
      • booleanExpression

        public abstract jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> booleanExpression()
        Builds the canonical representation as BooleanExpression.
      • name

        @Nullable
        public abstract String name()
      • acceptingSet

        public abstract BitSet acceptingSet()
      • rejectingSet

        public abstract BitSet rejectingSet()
      • isWellFormedEdge

        public abstract boolean isWellFormedEdge​(Edge<?> edge)
        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.
        Parameters:
        edge - The edge to be checked.
        Returns:
        Whether the edge acceptance is well defined.
      • isWellFormedAutomaton

        public <S> boolean isWellFormedAutomaton​(Automaton<S,​?> automaton)