Class EmersonLeiAcceptance

    • Constructor Detail

      • EmersonLeiAcceptance

        public EmersonLeiAcceptance​(int sets,
                                    jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression)
    • 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.