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

Packages that use Literal

Package	Description
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

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

Subinterfaces of Literal in uk.ac.manchester.cs.jfact.datatypes

Modifier and Type	Interface and Description
interface	NumericLiteral<R extends Comparable<R>> all literals whose datatype is numeric

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

Modifier and Type	Class and Description
class	NumericLiteralImpl<R extends Comparable<R>> all literals whose datatype is numeric

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

Modifier and Type	Method and Description
Literal<R>	DatatypeNegation.buildLiteral(String s)
Literal<R>	DatatypeEnumeration.buildLiteral(String s)
Literal<R>	Datatype.buildLiteral(String s)
Literal<R>	ABSTRACT_DATATYPE.buildLiteral(String s)
Literal<?>	LiteralEntry.getLiteral()

Methods in uk.ac.manchester.cs.jfact.datatypes that return types with arguments of type Literal

Modifier and Type	Method and Description
Iterable<Literal<R>>	DatatypeEnumeration.getList()
Collection<Literal<R>>	DatatypeNegation.listValues()
Collection<Literal<R>>	DatatypeEnumeration.listValues()
Collection<Literal<R>>	Datatype.listValues()
Collection<Literal<R>>	ABSTRACT_DATATYPE.listValues()

Methods in uk.ac.manchester.cs.jfact.datatypes with parameters of type Literal

Modifier and Type	Method and Description
DatatypeNumericEnumeration<R>	DatatypeNumericEnumeration.add(Literal<R> d)
DatatypeEnumeration<R>	DatatypeEnumeration.add(Literal<R> d)
boolean	DatatypeUnion.isCompatible(Literal<?> l)
boolean	DatatypeNegation.isCompatible(Literal<?> l)
boolean	DatatypeIntersection.isCompatible(Literal<?> l)
boolean	DatatypeEnumeration.isCompatible(Literal<?> l)
boolean	DatatypeCombination.isCompatible(Literal<?> l)
boolean	Datatype.isCompatible(Literal<?> l)
boolean	ABSTRACT_DATATYPE.isCompatible(Literal<?> l)
void	LiteralEntry.setLiteral(Literal<?> l) set host data type for the data value
LiteralEntry	LiteralEntry.withLiteral(Literal<?> l)

Constructors in uk.ac.manchester.cs.jfact.datatypes with parameters of type Literal

Constructor and Description
DatatypeEnumeration(Datatype<R> d, Literal<R> l)
DatatypeNumericEnumeration(NumericDatatype<R> d, Literal<R> l)

Constructor parameters in uk.ac.manchester.cs.jfact.datatypes with type arguments of type Literal

Constructor and Description
DatatypeEnumeration(Datatype<R> d, Collection<Literal<R>> c)
DatatypeNumericEnumeration(NumericDatatype<R> d, Collection<Literal<R>> c)

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

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

Modifier and Type	Method and Description
static ConceptExpression	ExpressionManager.value(DataRoleExpression R, Literal<?> V)
DLTree	ExpressionTranslator.visit(Literal<?> expr)

Method parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type Literal

Modifier and Type	Method and Description
static DataExpression	ExpressionManager.dataOneOf(List<Literal<?>> l)

Uses of Literal in uk.ac.manchester.cs.jfact.kernel.dl

Methods in uk.ac.manchester.cs.jfact.kernel.dl that return Literal

Modifier and Type	Method and Description
Literal<?>	ConceptDataValue.getExpr() get access to the argument

Constructors in uk.ac.manchester.cs.jfact.kernel.dl with parameters of type Literal

Constructor and Description
ConceptDataValue(DataRoleExpression R, Literal<?> V)

Constructor parameters in uk.ac.manchester.cs.jfact.kernel.dl with type arguments of type Literal

Constructor and Description
DataOneOf(List<Literal<?>> v) create one-of from individuals in the given array

Uses of Literal in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms that return Literal

Modifier and Type	Method and Description
Literal<?>	AxiomValueOfNot.getValue()
Literal<?>	AxiomValueOf.getValue()

Constructors in uk.ac.manchester.cs.jfact.kernel.dl.axioms with parameters of type Literal

Constructor and Description
AxiomValueOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, DataRoleExpression a, Literal<?> v)
AxiomValueOfNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, DataRoleExpression a, Literal<?> v)

Uses of Literal in uk.ac.manchester.cs.jfact.split

Methods in uk.ac.manchester.cs.jfact.split with parameters of type Literal

Modifier and Type	Method and Description
void	TopEquivalenceEvaluator.visit(Literal<?> arg)
void	BotEquivalenceEvaluator.visit(Literal<?> arg)

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

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

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