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

Packages that use NumericDatatype

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

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

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

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

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

Modifier and Type	Method and Description
NumericDatatype<R>	DatatypeNumericEnumeration.asNumericDatatype()
NumericDatatype<R>	DatatypeNegation.asNumericDatatype()
NumericDatatype<R>	DatatypeEnumeration.asNumericDatatype()
NumericDatatype<Representation>	Datatype.asNumericDatatype()

Methods in uk.ac.manchester.cs.jfact.datatypes with parameters of type NumericDatatype

Modifier and Type	Method and Description
static <R extends Comparable<R>> DatatypeExpression<R>	DatatypeFactory.getNumericDatatypeExpression(NumericDatatype<R> base)

Constructors in uk.ac.manchester.cs.jfact.datatypes with parameters of type NumericDatatype

Constructor and Description
DatatypeNumericEnumeration(NumericDatatype<R> d)
DatatypeNumericEnumeration(NumericDatatype<R> d, Collection<Literal<R>> c)
DatatypeNumericEnumeration(NumericDatatype<R> d, Literal<R> l)
NumericLiteralImpl(NumericDatatype<R> type, String value)