Interface Conjunctable
-
- All Superinterfaces:
Formula
,SimpleLogicalFormula
- All Known Subinterfaces:
ClassicalFormula
- All Known Implementing Classes:
AbstractGraphLdoModality
,AbstractLdoModality
,AlwaysQuery
,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 Conjunctable extends SimpleLogicalFormula
Formulas implementing this interface can be connected by using AND.- Author:
- Tim Janus
-
-
Method Summary
Modifier and Type Method Description SimpleLogicalFormula
combineWithAnd(Conjunctable f)
Returns a conjunction of this and the given formula.-
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
-
combineWithAnd
SimpleLogicalFormula combineWithAnd(Conjunctable f)
Returns a conjunction of this and the given formula.- Parameters:
f
- a formula to be combined with AND and this.- Returns:
- a conjunction of this and the given formula.
-
-