Uses of Class
org.semanticweb.HermiT.model.Inequality

Packages that use Inequality

Package	Description
org.semanticweb.HermiT.model

Uses of Inequality in org.semanticweb.HermiT.model

Fields in org.semanticweb.HermiT.model declared as Inequality

Modifier and Type	Field and Description
static Inequality	Inequality.INSTANCE Instance.

Methods in org.semanticweb.HermiT.model that return Inequality

Modifier and Type	Method and Description
static Inequality	Inequality.create()