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

Packages that use DatatypeExpression

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

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>> datatype negation
class	DatatypeNumericEnumeration<R extends Comparable<R>> numeric enumeration

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<R>	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<R>	DatatypeExpression.addNumericFacet(Facet f, Comparable<?> value)
DatatypeExpression<R>	DatatypeEnumeration.addNumericFacet(Facet f, Comparable<?> value)
DatatypeExpression<R>	DatatypeNegation.asExpression()
DatatypeExpression<R>	DatatypeEnumeration.asExpression()
DatatypeExpression<R>	Datatype.asExpression()
DatatypeExpression<R>	ABSTRACT_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)

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

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type DatatypeExpression

Modifier and Type	Method and Description
DLTree	ExpressionTranslator.visit(DatatypeExpression<?> expr)

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

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type DatatypeExpression

Modifier and Type	Method and Description
O	DLExpressionVisitorEx.visit(DatatypeExpression<?> expr)
void	DLExpressionVisitorAdapter.visit(DatatypeExpression<?> expr)
void	DLExpressionVisitor.visit(DatatypeExpression<?> expr)