Interface Disjunctable
- All Superinterfaces:
Formula
,SimpleLogicalFormula
- All Known Subinterfaces:
ClassicalFormula
- All Known Implementing Classes:
AbstractGraphLdoModality
,AbstractLdoModality
,AlwaysQuery
,AssociativeDlFormula
,AssociativeFolFormula
,AssociativePlFormula
,AtomicConcept
,AtomicRole
,BottomConcept
,ClassicalHead
,Complement
,ComplexConcept
,Conjunction
,Conjunction
,Contradiction
,Contradiction
,DefaultRule
,DefeasibleRule
,DelpFact
,DelpRule
,Disjunction
,Disjunction
,Equivalence
,Equivalence
,ExclusiveDisjunction
,ExclusiveDisjunction
,ExistentialRestriction
,ExistsQuantifiedFormula
,ExistsQuantifiedFormula
,FolAtom
,FolFormula
,ForallQuantifiedFormula
,ForallQuantifiedFormula
,HoldsQuery
,Implication
,Implication
,Indecision
,Intersection
,LdoArgument
,LdoAssociativeFormula
,LdoBoxModality
,LdoConjunction
,LdoDiamondModality
,LdoDisjunction
,LdoFormula
,LdoGraphBoxModality
,LdoGraphDiamondModality
,LdoNegation
,LdoRelation
,MlFormula
,MlnFormula
,NecessarilyQuery
,Necessity
,Negation
,Negation
,NLPNot
,PlFormula
,Possibility
,Proposition
,QueryProposition
,RelationalConditional
,RelationalFormula
,RelationalProbabilisticConditional
,SpecialFormula
,SpecialFormula
,StrictRule
,Tautology
,Tautology
,TopConcept
,Union
,UniversalRestriction
,WeakNegation
Formulas implementing this interface can be connected using
OR.
- Author:
- Tim Janus
-
Method Summary
Methods inherited from interface org.tweetyproject.commons.Formula
getSignature
Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
-
Method Details
-
combineWithOr
- Parameters:
f
- a formula to be combined with OR and this.- Returns:
- a disjunction of this and the given formula.
-