public class Tautology extends SpecialFormula
Constructor and Description |
---|
Tautology()
Creates a new tautology.
|
Modifier and Type | Method and Description |
---|---|
Tautology |
clone()
Creates a deep copy of this formula
|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
java.lang.String |
toString() |
collapseAssociativeFormulas, containsQuantifier, getAtoms, getConjunctions, getDisjunctions, getFunctors, getPredicates, getQuantifiedFormulas, getTerms, getTerms, getUnboundVariables, isClosed, isClosed, isDnf, isLiteral, isWellBound, isWellBound, substitute, toNnf
combineWithAnd, combineWithOr, complement, getQuantifierVariables, getSignature, getUniformProbability, toDnf
allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, isGround, isWellFormed, substitute
public java.lang.String toString()
toString
in class RelationalFormula
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class java.lang.Object
public Tautology clone()
SimpleLogicalFormula
clone
in interface ComplexLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class FolFormula