net.sf.tweety.logics.pl.syntax

Class Contradiction

java.lang.Object

net.sf.tweety.logics.pl.syntax.PropositionalFormula

net.sf.tweety.logics.pl.syntax.SpecialFormula

net.sf.tweety.logics.pl.syntax.Contradiction

All Implemented Interfaces:

Formula, ClassicalFormula, Conjuctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class Contradiction
extends SpecialFormula

A contradictory formula.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
Contradiction() Creates a new contradiction.

Method Summary

Modifier and Type	Method and Description
Contradiction	clone() Creates a deep copy of this formula
boolean	equals(java.lang.Object other)
java.util.Set<PossibleWorld>	getModels(PropositionalSignature sig) Returns the set of models of this formula wrt.
int	hashCode()
java.lang.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.PropositionalFormula

combineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getSignature, getUniformProbability, 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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Specified by:

equals in interface SimpleLogicalFormula

Specified by:

equals in class PropositionalFormula

hashCode

public int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Specified by:

hashCode in class PropositionalFormula

clone

public Contradiction clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in class PropositionalFormula

getModels

public java.util.Set<PossibleWorld> getModels(PropositionalSignature sig)

Description copied from class: PropositionalFormula

Returns the set of models of this formula wrt. the given signature.

Specified by:

getModels in class PropositionalFormula

Parameters:

sig - some propositional signature

Returns:

the set of models of this formula wrt. the given signature.