Uses of Class
com.clarkparsia.owlapi.explanation.util.DefinitionTracker

Packages that use DefinitionTracker

Package	Description
com.clarkparsia.owlapi.explanation

Uses of DefinitionTracker in com.clarkparsia.owlapi.explanation

Methods in com.clarkparsia.owlapi.explanation that return DefinitionTracker

Modifier and Type	Method and Description
DefinitionTracker	SingleExplanationGeneratorImpl.getDefinitionTracker() Gets the definition tracker.