Uses of Class uk.ac.manchester.cs.jfact.IndividualTranslator (JFact 5.0.0 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