Uses of Class uk.ac.manchester.cs.jfact.DataRangeTranslator (JFact 5.0.0 API)

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

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

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