Package net.sf.tweety.commons

Interface Formula

All Known Subinterfaces:

ActionQuery, AssociativeFormula<T>, Atom, CausalLaw, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, DungEntity, Invertable, QuantifiedFormula, Rule<C,P>, SimpleLogicalFormula

All Known Implementing Classes:

AbaAttack, AbaElement, AbaRule, AbstractGraphLdoModality, AbstractLdoModality, AggregateAtom, AggregateElement, AlwaysQuery, Argument, Argument, Argument, ArgumentCompletion, ArgumentStructure, ASPAtom, ASPBodyElement, ASPElement, ASPHead, AspicArgument, AspicAttack, ASPLiteral, ASPRule, AssertionalAxiom, AssociativeDlFormula, AssociativeFolFormula, AssociativeFormulaSupport, AssociativePlFormula, Assumption, AtomicConcept, AtomicRole, Attack, BasicArgument, BottomConcept, CLaw, ComparativeAtom, Complement, ComplexConcept, ComplexLogicalFormulaAdapter, ConceptAssertion, Conditional, Conjunction, Conjunction, Contradiction, Contradiction, Deduction, DefaultNegation, DefaultRule, DefeasibleInferenceRule, DefeasibleRule, DelpArgument, DelpFact, DelpRule, Disjunction, Disjunction, DlAxiom, DynamicLaw, Equivalence, Equivalence, EquivalenceAxiom, ExistentialRestriction, ExistsQuantifiedFormula, ExistsQuantifiedFormula, FolAtom, FolFormula, ForallQuantifiedFormula, ForallQuantifiedFormula, HoldsQuery, Implication, Implication, InferenceRule, InferenceRule, InformationObject, Intersection, LdoArgument, LdoAssociativeFormula, LdoBoxModality, LdoConjunction, LdoDiamondModality, LdoDisjunction, LdoFormula, LdoGraphBoxModality, LdoGraphDiamondModality, LdoNegation, LdoRelation, MlFormula, MlnFormula, NecessarilyQuery, Necessity, Negation, Negation, Negation, NLPNot, NLPRule, PlFormula, Possibility, ProbabilisticConditional, Proposition, QueryProposition, RelationalConditional, RelationalFormula, RelationalProbabilisticConditional, RevisionComparePresenter.MockFormula, RoleAssertion, SActionQuery, SimplePlLogicArgument, SimplePlRule, SpecialFormula, SpecialFormula, StaticLaw, StrictInferenceRule, StrictNegation, StrictRule, Support, Tautology, Tautology, TopConcept, Union, UniversalRestriction

public interface Formula

A formula is a basic language construct.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method	Description
Signature	getSignature()	Returns the signature of the language of this formula.

Method Detail

getSignature

Signature getSignature()

Returns the signature of the language of this formula.

Returns:

the signature of the language of this formula.