Class NoneAcceptance

    • Method Detail

      • booleanExpression

        public jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> booleanExpression()
        Description copied from class: OmegaAcceptance
        Builds the canonical representation as BooleanExpression.
        Specified by:
        booleanExpression in class OmegaAcceptance
      • 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 class OmegaAcceptance
        Parameters:
        edge - The edge to be checked.
        Returns:
        Whether the edge acceptance is well defined.