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