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

Packages that use DatatypeExpression

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

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

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

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

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

Modifier and Type	Method and Description
DatatypeExpression<R>	DatatypeNegation.addNonNumericFacet(Facet f, Comparable value)
DatatypeExpression<Representation>	DatatypeExpression.addNonNumericFacet(Facet f, Comparable value) add a new facet value for this datatype expression
DatatypeExpression<R>	DatatypeEnumeration.addNonNumericFacet(Facet f, Comparable value)
DatatypeExpression<R>	DatatypeNegation.addNumericFacet(Facet f, Comparable value)
DatatypeExpression<Representation>	DatatypeExpression.addNumericFacet(Facet f, Comparable value)
DatatypeExpression<R>	DatatypeEnumeration.addNumericFacet(Facet f, Comparable value)
DatatypeExpression<R>	DatatypeNegation.asExpression()
DatatypeExpression<R>	DatatypeEnumeration.asExpression()
DatatypeExpression<Representation>	Datatype.asExpression()
static <R extends Comparable<R>> DatatypeExpression<R>	DatatypeFactory.getDatatypeExpression(Datatype<R> base)
static <R extends Comparable<R>> DatatypeExpression<R>	DatatypeFactory.getNumericDatatypeExpression(NumericDatatype<R> base)
static <R extends Comparable<R>> DatatypeExpression<R>	DatatypeFactory.getOrderedDatatypeExpression(Datatype<R> base)