Class Negation<T extends Formula>

    • Constructor Detail

      • Negation

        public Negation​(T formula,
                        T negation)
        Creates a new Negation
        formula - a formula
        negation - it's complement
    • Method Detail

      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface SimpleLogicalFormula
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface SimpleLogicalFormula
        equals in class java.lang.Object
      • getSignature

        public Signature getSignature()
        Description copied from interface: Formula
        Returns the signature of the language of this formula.
        the signature of the language of this formula.
      • toString

        public java.lang.String toString()
        toString in class java.lang.Object
      • getPredicates

        public java.util.Set<? extends Predicate> getPredicates()
        Description copied from interface: SimpleLogicalFormula
        Processes the set of all predicates which appear in this formula
        all predicates that appear in this formula
      • getTerms

        public java.util.Set<Term<?>> getTerms()
        a set containing all terms of this logical structure
      • getTerms

        public <C extends Term<?>> java.util.Set<C> getTerms​(java.lang.Class<C> cls)
        Description copied from interface: LogicStructure
        Processes the set containing all terms of type C. This method uses the equals method of the given Class and therefore does not add terms which are sub classes of type C to the set.
        Type Parameters:
        C - the type of terms
        cls - The Class structure containing type information about the searched term
        A set containing all terms of type C of this logical structure
      • substitute

        public Negation<T> substitute​(Term<?> v,
                                      Term<?> t)
                               throws java.lang.IllegalArgumentException
        Description copied from interface: ComplexLogicalFormula
        Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
        Specified by:
        substitute in interface ComplexLogicalFormula
        Specified by:
        substitute in class AbaElement<T extends Formula>
        v - the term to be substituted.
        t - the term to substitute.
        a formula where every occurrence of "v" is replaced by "t".
        java.lang.IllegalArgumentException - if "v" and "t" are of different sorts