Uses of Class uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter (JFact 1.0.0 API)

Packages that use DLAxiomVisitorAdapter
Package	Description
uk.ac.manchester.cs.jfact.elf

Subclasses of DLAxiomVisitorAdapter in uk.ac.manchester.cs.jfact.elf
Modifier and Type	Class and Description
`class`	`ELFAxiomChecker`
`class`	`ELFNormalizer`

Uses of Classuk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter