Class Assumption<T extends Formula>

    • Constructor Detail

      • Assumption

        public Assumption​(T assumption)
        Creates a new assumption
        Parameters:
        assumption - the assumed formula
    • Method Detail

      • isFact

        public boolean isFact()
      • isConstraint

        public boolean isConstraint()
      • setConclusion

        public void setConclusion​(T conclusion)
        Description copied from interface: Rule
        Set the conclusion of this rule.
        Parameters:
        conclusion - some formula
      • addPremise

        public void addPremise​(T premise)
        Description copied from interface: Rule
        Add the given premise to this rule.
        Parameters:
        premise - some formula
      • addPremises

        public void addPremises​(java.util.Collection<? extends T> premises)
        Description copied from interface: Rule
        Add the given premises to this rule.
        Parameters:
        premises - some formulas
      • getSignature

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

        public java.util.Collection<? extends T> getPremise()
        Description copied from interface: Rule
        Returns the premise of this rule.
        Returns:
        the premise of this rule.
      • getConclusion

        public T getConclusion()
        Description copied from interface: Rule
        Returns the conclusion of this rule.
        Returns:
        the conclusion of this rule.
      • getFormula

        public T getFormula()
        Returns the inner formula of this assumption.
        Returns:
        the inner formula of this assumption.
      • isAssumption

        public boolean isAssumption()
        Specified by:
        isAssumption in class AbaRule<T extends Formula>
        Returns:
        whether this rule is an assumption
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • hashCode

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

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface SimpleLogicalFormula
        Overrides:
        equals 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
        Returns:
        all predicates that appear in this formula
      • getTerms

        public java.util.Set<Term<?>> getTerms()
        Returns:
        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
        Parameters:
        cls - The Class structure containing type information about the searched term
        Returns:
        A set containing all terms of type C of this logical structure
      • substitute

        public Assumption<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>
        Parameters:
        v - the term to be substituted.
        t - the term to substitute.
        Returns:
        a formula where every occurrence of "v" is replaced by "t".
        Throws:
        java.lang.IllegalArgumentException - if "v" and "t" are of different sorts