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 other) |
java.util.Set<PossibleWorld> |
getModels(PropositionalSignature sig)
Returns the set of models of this formula wrt.
|
int |
hashCode() |
java.lang.String |
toString() |
collapseAssociativeFormulas, getAtoms, getLiterals, getPredicates, numberOfOccurrences, replace, toCnf, toNnf, trim
combineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getSignature, getUniformProbability, isClause, isConjunctiveClause, isLiteral, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnf
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in interface SimpleLogicalFormula
equals
in class PropositionalFormula
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class PropositionalFormula
public Tautology clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class PropositionalFormula
public java.util.Set<PossibleWorld> getModels(PropositionalSignature sig)
PropositionalFormula
getModels
in class PropositionalFormula
sig
- some propositional signature