Uses of Class
uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration

Packages that use DatatypeEnumeration

Package	Description
uk.ac.manchester.cs.jfact.datatypes

Uses of DatatypeEnumeration in uk.ac.manchester.cs.jfact.datatypes

Subclasses of DatatypeEnumeration in uk.ac.manchester.cs.jfact.datatypes

Modifier and Type	Class and Description
class	DatatypeNumericEnumeration<R extends Comparable<R>> numeric enumeration

Methods in uk.ac.manchester.cs.jfact.datatypes that return DatatypeEnumeration

Modifier and Type	Method and Description
DatatypeEnumeration<R>	DatatypeEnumeration.add(Literal<R> d)