Package net.sf.tweety.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
,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
,CLaw
,ComparativeAtom
,Complement
,ComplexConcept
,ComplexLogicalFormulaAdapter
,ConceptAssertion
,Conditional
,Conjunction
,Conjunction
,Contradiction
,Contradiction
,Deduction
,DefaultNegation
,DefaultRule
,DefeasibleInferenceRule
,DefeasibleRule
,DelpArgument
,DelpFact
,DelpRule
,Disjunction
,Disjunction
,DlAxiom
,DynamicLaw
,EndEvent
,Equivalence
,Equivalence
,EquivalenceAxiom
,Event
,ExclusiveDisjunction
,ExclusiveDisjunction
,ExistentialRestriction
,ExistsQuantifiedFormula
,ExistsQuantifiedFormula
,FolAtom
,FolFormula
,ForallQuantifiedFormula
,ForallQuantifiedFormula
,Gateway
,HoldsQuery
,Implication
,Implication
,InferenceRule
,InferenceRule
,InformationObject
,IntermediateEvent
,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
,RoleAssertion
,SActionQuery
,SetAttack
,SetSupport
,SimplePlLogicArgument
,SimplePlRule
,SpecialFormula
,SpecialFormula
,StartEvent
,StaticLaw
,StrictInferenceRule
,StrictNegation
,StrictRule
,Subprocess
,Task
,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.
-
-