Contradiction

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.Contradiction

All Implemented Interfaces:: Formula, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, SimpleLogicalFormula

public class Contradiction extends SpecialFormula

A contradictory formula.

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

Contradiction()

Creates a new contradiction.
Method Summary

Modifier and Type

Method

Description

Contradiction

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
- Contradiction
  
  public Contradiction()
  
  Creates a new contradiction.
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 Contradiction 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