Uses of Class org.tweetyproject.logics.dl.syntax.DlSignature

Packages that use DlSignature
Package Description

org.tweetyproject.logics.dl.parser

org.tweetyproject.logics.dl.reasoner

org.tweetyproject.logics.dl.syntax

Uses of DlSignature in org.tweetyproject.logics.dl.parser

Methods in org.tweetyproject.logics.dl.parser that return DlSignature
Modifier and Type	Method	Description
`DlSignature`	DlParser.`getSignature()`	Returns the signature of this parser.

Methods in org.tweetyproject.logics.dl.parser with parameters of type DlSignature
Modifier and Type	Method	Description
`void`	DlParser.`setSignature(DlSignature signature)`	Sets the signature for this parser.

Uses of DlSignature in org.tweetyproject.logics.dl.reasoner

Methods in org.tweetyproject.logics.dl.reasoner with parameters of type DlSignature
Modifier and Type	Method	Description
`java.util.Set<DlInterpretation>`	NaiveDlReasoner.`getAllInterpretations(DlSignature sig)`	Get all interpretations for the given signature.

Uses of DlSignature in org.tweetyproject.logics.dl.syntax

Methods in org.tweetyproject.logics.dl.syntax that return DlSignature
Modifier and Type	Method	Description
`DlSignature`	DlSignature.`clone()`
`DlSignature`	AssociativeDlFormula.`getSignature()`
`DlSignature`	AtomicConcept.`getSignature()`
`DlSignature`	AtomicRole.`getSignature()`
`DlSignature`	BottomConcept.`getSignature()`
`DlSignature`	Complement.`getSignature()`
`abstract DlSignature`	ComplexConcept.`getSignature()`
`DlSignature`	ConceptAssertion.`getSignature()`
`abstract DlSignature`	DlAxiom.`getSignature()`
`DlSignature`	EquivalenceAxiom.`getSignature()`
`DlSignature`	ExistentialRestriction.`getSignature()`
`DlSignature`	RoleAssertion.`getSignature()`
`DlSignature`	TopConcept.`getSignature()`
`DlSignature`	UniversalRestriction.`getSignature()`