Contradiction

java.lang.Object
- net.sf.tweety.logics.commons.syntax.RelationalFormula
- - net.sf.tweety.logics.fol.syntax.FolFormula
  - - net.sf.tweety.logics.fol.syntax.SpecialFormula
    - - net.sf.tweety.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(java.lang.Object obj)`
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class net.sf.tweety.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 net.sf.tweety.logics.fol.syntax.FolFormula
combineWithAnd, combineWithOr, complement, getQuantifierVariables, getSignature, getUniformProbability, toDnf

Methods inherited from class net.sf.tweety.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 Detail
  - Contradiction
```
public Contradiction()
```
    Creates a new contradiction.
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Specified by:
    
    toString in class RelationalFormula
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface SimpleLogicalFormula
    
    Overrides:
    
    hashCode in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Specified by:
    
    equals in interface SimpleLogicalFormula
    
    Overrides:
    
    equals in class java.lang.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