Contradiction (Tweety (Propositional Logic) 1.16 API)

java.lang.Object
- net.sf.tweety.logics.pl.syntax.PlFormula
- - net.sf.tweety.logics.pl.syntax.SpecialFormula
  - - net.sf.tweety.logics.pl.syntax.Contradiction

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.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()`
`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 net.sf.tweety.logics.pl.syntax.SpecialFormula
collapseAssociativeFormulas, getAtoms, getLiterals, getPredicates, numberOfOccurrences, replace, toCnf, toNnf, trim

Methods inherited from class net.sf.tweety.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
finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - Contradiction
```
public Contradiction()
```
    Creates a new contradiction.
- Method Detail
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - equals
```
public boolean equals(Object other)
```
    Specified by:
    
    equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    equals in class PlFormula
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    hashCode in class PlFormula
  - clone
```
public Contradiction clone()
```
    Specified by:
    
    clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    clone in class PlFormula
  - 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.