Package net.sf.tweety.logics.pl.syntax
Class Contradiction
- 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:
Formula
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,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 formulaboolean
equals(java.lang.Object other)
java.util.Set<PossibleWorld>
getModels(PlSignature 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.PlFormula
combineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getSignature, getUniformProbability, isClause, isConjunctiveClause, isLiteral, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnf
-
-
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object other)
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Specified by:
equals
in classPlFormula
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Specified by:
hashCode
in classPlFormula
-
clone
public Contradiction clone()
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classPlFormula
- Returns:
- the cloned formula
-
getModels
public java.util.Set<PossibleWorld> getModels(PlSignature sig)
Description copied from class:PlFormula
Returns the set of models of this formula wrt. the given signature.
-
-