Class 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
A contradictory formula.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
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
-
Constructor Details
-
Contradiction
public Contradiction()Creates a new contradiction.
-
-
Method Details
-
toString
- Specified by:
toString
in classRelationalFormula
-
hashCode
public int hashCode()- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Overrides:
hashCode
in classObject
-
equals
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Overrides:
equals
in classObject
-
clone
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceComplexLogicalFormula
- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classFolFormula
- Returns:
- the cloned formula
-