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>> numeric enumeration

Fields in uk.ac.manchester.cs.jfact.datatypes declared as NumericDatatype

Modifier and Type	Field and Description
static NumericDatatype<Byte>	DatatypeFactory.BYTE BYTE
static NumericDatatype<BigDecimal>	DatatypeFactory.DECIMAL DECIMAL
static NumericDatatype<Double>	DatatypeFactory.DOUBLE DOUBLE
static NumericDatatype<Float>	DatatypeFactory.FLOAT FLOAT
static NumericDatatype<Integer>	DatatypeFactory.INT INT
static NumericDatatype<BigInteger>	DatatypeFactory.INTEGER INTEGER
static NumericDatatype<Long>	DatatypeFactory.LONG LONG
static NumericDatatype<BigInteger>	DatatypeFactory.NEGATIVEINTEGER NEGATIVEINTEGER
static NumericDatatype<BigInteger>	DatatypeFactory.NONNEGATIVEINTEGER NONNEGATIVEINTEGER
static NumericDatatype<BigInteger>	DatatypeFactory.NONPOSITIVEINTEGER NONPOSITIVEINTEGER
static NumericDatatype<BigInteger>	DatatypeFactory.POSITIVEINTEGER POSITIVEINTEGER
static NumericDatatype<BigDecimal>	DatatypeFactory.RATIONAL RATIONAL
static NumericDatatype<BigDecimal>	DatatypeFactory.REAL REAL
static NumericDatatype<Short>	DatatypeFactory.SHORT SHORT
static NumericDatatype<Short>	DatatypeFactory.UNSIGNEDBYTE UNSIGNEDBYTE
static NumericDatatype<Long>	DatatypeFactory.UNSIGNEDINT UNSIGNEDINT
static NumericDatatype<BigInteger>	DatatypeFactory.UNSIGNEDLONG UNSIGNEDLONG
static NumericDatatype<Integer>	DatatypeFactory.UNSIGNEDSHORT UNSIGNEDSHORT

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<R>	Datatype.asNumericDatatype()
NumericDatatype<R>	AbstractDatatype.asNumericDatatype()

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)