Class ExclusiveDisjunction

    • Constructor Detail

      • ExclusiveDisjunction

        public ExclusiveDisjunction​(java.util.Collection<? extends RelationalFormula> formulas)
        Creates a new exclusive disjunction with the given inner formulas.
        Parameters:
        formulas - a collection of formulas.
      • ExclusiveDisjunction

        public ExclusiveDisjunction()
        Creates a new (empty) exclusive disjunction.
      • ExclusiveDisjunction

        public ExclusiveDisjunction​(RelationalFormula first,
                                    RelationalFormula second)
        Creates a new exclusive disjunction with the two given formulae
        Parameters:
        first - a relational formula.
        second - a relational formula.
    • Method Detail

      • isDnf

        public boolean isDnf()
        Description copied from class: FolFormula
        Checks whether this formula is in disjunctive normal form.
        Specified by:
        isDnf in class FolFormula
        Returns:
        "true" iff this formula is in disjunctive normal form.
      • toNnf

        public FolFormula toNnf()
        Description copied from class: FolFormula
        Makes the negation normal form of this formula.
        Specified by:
        toNnf in class FolFormula
        Returns:
        the NNF of this formula
      • collapseAssociativeFormulas

        public RelationalFormula collapseAssociativeFormulas()
        Description copied from class: FolFormula
        This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.
        Specified by:
        collapseAssociativeFormulas in class FolFormula
        Returns:
        the collapsed formula.
      • createEmptyFormula

        public ExclusiveDisjunction createEmptyFormula()
        Returns:
        an empty version of the AssociativeFormula
      • getOperatorSymbol

        public java.lang.String getOperatorSymbol()
        Returns:
        A String representing the operator which connects two items of the associative formula.
      • getEmptySymbol

        public java.lang.String getEmptySymbol()
        Returns:
        A String representing an empty version of the Associative Formula implementation