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>	AbstractDatatype.asExpression()
default DatatypeExpression<R>	Datatype.wrapAsDatatypeExpression()
default DatatypeExpression<R>	Datatype.wrapAsNumericExpression()
default DatatypeExpression<R>	Datatype.wrapAsOrderedExpression()

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)