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(Object other)

Set<PossibleWorld>

getModels(PlSignature sig)

Returns the set of models of this formula wrt.

int

hashCode()

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 Details
- Tautology
  
  public Tautology()
  
  Creates a new tautology.
Method Details
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- equals
  
  public boolean equals(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 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.