Uses of Class uk.ac.manchester.cs.jfact.IndividualTranslator (JFact 4.0.1 API)

Packages that use IndividualTranslator
Package	Description
uk.ac.manchester.cs.jfact

Methods in uk.ac.manchester.cs.jfact that return IndividualTranslator
Modifier and Type	Method and Description
`IndividualTranslator`	TranslationMachinery.`getIndividualTranslator()`

Uses of Classuk.ac.manchester.cs.jfact.IndividualTranslator