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()

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
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()