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