Package net.sf.tweety.logics.commons.syntax.interfaces

Interface ClassicalFormula

All Superinterfaces:

Conjunctable, Disjunctable, Formula, Invertable, ProbabilityAware, SimpleLogicalFormula

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 ClassicalFormula
extends Disjunctable, Conjunctable, Invertable, ProbabilityAware

This interface models a classical formula, i.e. a formula that can be connected to other classical formulas using AND and OR and where the complement is well-defined.

Author:

Matthias Thimm, Tim Janus

Method Summary

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable

combineWithAnd

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable

combineWithOr

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable

complement

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware

getUniformProbability

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral