Package org.tweetyproject.logics.commons.syntax.interfaces

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, 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
public interface Conjunctable extends SimpleLogicalFormula
Formulas implementing this interface can be connected by using AND.
Author:
Tim Janus

  • Method Details

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