Tautology

java.lang.Object
- org.tweetyproject.logics.pl.syntax.PlFormula
- - org.tweetyproject.logics.pl.syntax.SpecialFormula
  - - org.tweetyproject.logics.pl.syntax.Tautology

All Implemented Interfaces:

Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
```
public class Tautology
extends SpecialFormula
```
A tautological formula.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

Tautology()
Creates a new tautology.

Method Summary

Modifier and Type	Method	Description
`Tautology`	`clone()`	Creates a deep copy of this formula
`boolean`	`equals(java.lang.Object other)`
`java.util.Set<PossibleWorld>`	`getModels(PlSignature sig)`	Returns the set of models of this formula wrt.
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class org.tweetyproject.logics.pl.syntax.SpecialFormula
collapseAssociativeFormulas, getAtoms, getLiterals, getPredicates, numberOfOccurrences, replace, toCnf, toNnf, trim

Methods inherited from class org.tweetyproject.logics.pl.syntax.PlFormula
combineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getSignature, getUniformProbability, isClause, isConjunctiveClause, isLiteral, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnf

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - Tautology
```
public Tautology()
```
    Creates a new tautology.
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object other)
```
    Specified by:
    
    equals in interface SimpleLogicalFormula
    
    Specified by:
    
    equals in class PlFormula
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface SimpleLogicalFormula
    
    Specified by:
    
    hashCode in class PlFormula
  - clone
```
public Tautology clone()
```
    Description copied from interface: SimpleLogicalFormula
    
    Creates a deep copy of this formula
    
    Specified by:
    
    clone in interface SimpleLogicalFormula
    
    Specified by:
    
    clone in class PlFormula
    
    Returns:
    
    the cloned formula
  - getModels
```
public java.util.Set<PossibleWorld> getModels(PlSignature sig)
```
    Description copied from class: PlFormula
    
    Returns the set of models of this formula wrt. the given signature.
    
    Specified by:
    
    getModels in class PlFormula
    
    Parameters:
    
    sig - some propositional signature
    
    Returns:
    
    the set of models of this formula wrt. the given signature.