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, 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.