Uses of Interface
uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype

Packages that use OrderedDatatype

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

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

Subinterfaces of OrderedDatatype in uk.ac.manchester.cs.jfact.datatypes

Modifier and Type	Interface and Description
interface	NumericDatatype<R extends Comparable<R>> all Datatypes whose getNumeric() method returns true implement this interface

Classes in uk.ac.manchester.cs.jfact.datatypes that implement OrderedDatatype

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

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

Modifier and Type	Method and Description
OrderedDatatype<R>	DatatypeNumericEnumeration.asOrderedDatatype()
OrderedDatatype<R>	DatatypeNegation.asOrderedDatatype()
OrderedDatatype<R>	DatatypeEnumeration.asOrderedDatatype()
OrderedDatatype<R>	Datatype.asOrderedDatatype()
OrderedDatatype<R>	AbstractDatatype.asOrderedDatatype()