Tautology

java.lang.Object

org.tweetyproject.logics.commons.syntax.RelationalFormula

org.tweetyproject.logics.fol.syntax.FolFormula

org.tweetyproject.logics.fol.syntax.SpecialFormula

org.tweetyproject.logics.fol.syntax.Tautology

All Implemented Interfaces:: Formula, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, 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 obj)

int

hashCode()

String

toString()

Methods inherited from class org.tweetyproject.logics.fol.syntax.SpecialFormula
collapseAssociativeFormulas, containsQuantifier, getAtoms, getConjunctions, getDisjunctions, getFunctors, getPredicates, getQuantifiedFormulas, getTerms, getTerms, getUnboundVariables, isClosed, isClosed, isDnf, isLiteral, isWellBound, isWellBound, substitute, toNnf

Methods inherited from class org.tweetyproject.logics.fol.syntax.FolFormula
combineWithAnd, combineWithOr, complement, getQuantifierVariables, getSignature, getUniformProbability, toDnf

Methods inherited from class org.tweetyproject.logics.commons.syntax.RelationalFormula
allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, isGround, isWellFormed, substitute

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()
  
  Specified by:
  
  toString in class RelationalFormula
- hashCode
  
  public int hashCode()
  
  Specified by:
  
  hashCode in interface SimpleLogicalFormula
  
  Overrides:
  
  hashCode in class Object
- equals
  
  public boolean equals(Object obj)
  
  Specified by:
  
  equals in interface SimpleLogicalFormula
  
  Overrides:
  
  equals in class Object
- clone
  
  public Tautology clone()
  
  Description copied from interface: SimpleLogicalFormula
  
  Creates a deep copy of this formula
  
  Specified by:
  
  clone in interface ComplexLogicalFormula
  
  Specified by:
  
  clone in interface SimpleLogicalFormula
  
  Specified by:
  
  clone in class FolFormula
  
  Returns:
  
  the cloned formula