Package org.tweetyproject.commons

Interface Formula

All Known Subinterfaces:

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

All Known Implementing Classes:

AbaAttack, AbaElement, AbaRule, AbstractGraphLdoModality, AbstractLdoModality, Activity, AggregateAtom, AggregateElement, AggregateHead, AlwaysQuery, Argument, Argument, ArgumentSet, ArgumentStructure, ASPAtom, ASPBodyElement, ASPElement, ASPHead, AspicArgument, AspicAttack, ASPLiteral, ASPRule, AssertionalAxiom, AssociativeDlFormula, AssociativeFolFormula, AssociativeFormulaSupport, AssociativePlFormula, Assumption, AtomicConcept, AtomicRole, Attack, BArgument, BasicArgument, BinaryAttack, BinarySupport, BottomConcept, BpmnElement, BpmnFormula, BpmnNode, ChoiceElement, ChoiceHead, ClaimArgument, ClassicalHead, CLaw, ComparativeAtom, Complement, ComplexConcept, ComplexLogicalFormulaAdapter, ConceptAssertion, Conditional, Conjunction, Conjunction, Contradiction, Contradiction, Deduction, DefaultNegation, DefaultRule, DefeasibleInferenceRule, DefeasibleRule, DelpArgument, DelpFact, DelpRule, Disjunction, Disjunction, DlAxiom, DynamicLaw, EAttack, EndEvent, Equivalence, Equivalence, EquivalenceAxiom, Event, ExclusiveDisjunction, ExclusiveDisjunction, ExclusiveGateway, ExistentialRestriction, ExistsQuantifiedFormula, ExistsQuantifiedFormula, FolAtom, FolFormula, ForallQuantifiedFormula, ForallQuantifiedFormula, Gateway, HoldsQuery, Implication, Implication, InclusiveGateway, Indecision, InducedArgument, InferenceRule, InferenceRule, InformationObject, IntermediateEvent, Intersection, Lane, LdoArgument, LdoAssociativeFormula, LdoBoxModality, LdoConjunction, LdoDiamondModality, LdoDisjunction, LdoFormula, LdoGraphBoxModality, LdoGraphDiamondModality, LdoNegation, LdoRelation, MlFormula, MlnFormula, NecessarilyQuery, Necessity, Negation, Negation, Negation, NLPNot, NLPRule, OptimizationElement, OptimizationStatement, PlFormula, Possibility, ProbabilisticConditional, Process, Proposition, QueryProposition, RelationalConditional, RelationalFormula, RelationalProbabilisticConditional, RoleAssertion, SActionQuery, SetAttack, SetAttack, SetSupport, SimplePlLogicArgument, SimplePlRule, SpecialFormula, SpecialFormula, StartEvent, StaticLaw, StrictInferenceRule, StrictNegation, StrictRule, Task, Tautology, Tautology, TopConcept, Union, UniversalRestriction, WeakNegation, WeightedSetSupport

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 Details

getSignature

Signature getSignature()

Returns the signature of the language of this formula.

Returns:

the signature of the language of this formula.