| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.datatypes |
| Modifier and Type | Class and Description |
|---|---|
class |
DatatypeNumericEnumeration<R extends Comparable<R>> |
| Modifier and Type | Method and Description |
|---|---|
NumericDatatype<R> |
DatatypeNumericEnumeration.asNumericDatatype() |
NumericDatatype<R> |
DatatypeNegation.asNumericDatatype() |
NumericDatatype<R> |
DatatypeEnumeration.asNumericDatatype() |
NumericDatatype<Representation> |
Datatype.asNumericDatatype() |
| Modifier and Type | Method and Description |
|---|---|
static <R extends Comparable<R>> |
DatatypeFactory.getNumericDatatypeExpression(NumericDatatype<R> base) |
| 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) |
Copyright © 2013 The University of Manchester. All Rights Reserved.