Uses of Class
org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

Packages that use DatatypeManager.DVariable

Package	Description
org.semanticweb.HermiT.tableau

Uses of DatatypeManager.DVariable in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return types with arguments of type DatatypeManager.DVariable

Modifier and Type	Method and Description
List<DatatypeManager.DVariable>	DatatypeManager.DConjunction.getActiveVariables()
List<DatatypeManager.DVariable>	DatatypeManager.DVariable.getUnequalToDirect()

Methods in org.semanticweb.HermiT.tableau with parameters of type DatatypeManager.DVariable

Modifier and Type	Method and Description
boolean	DatatypeManager.DVariable.hasSameRestrictions(DatatypeManager.DVariable that)