Interface Disjunctable
-
- All Superinterfaces:
Formula
,SimpleLogicalFormula
- All Known Subinterfaces:
ClassicalFormula
- All Known Implementing Classes:
AbstractGraphLdoModality
,AbstractLdoModality
,AlwaysQuery
,ASPHead
,AssociativeDlFormula
,AssociativeFolFormula
,AssociativePlFormula
,AtomicConcept
,AtomicRole
,BottomConcept
,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
,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
public interface Disjunctable extends SimpleLogicalFormula
Formulas implementing this interface can be connected using OR.- Author:
- Tim Janus
-
-
Method Summary
Modifier and Type Method Description SimpleLogicalFormula
combineWithOr(Disjunctable f)
-
Methods inherited from interface net.sf.tweety.commons.Formula
getSignature
-
Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
-
-
-
-
Method Detail
-
combineWithOr
SimpleLogicalFormula combineWithOr(Disjunctable f)
- Parameters:
f
- a formula to be combined with OR and this.- Returns:
- a disjunction of this and the given formula.
-
-