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

Packages that use Literal

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.elf
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.visitors

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

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

Modifier and Type	Method and Description
protected Literal<?>	TranslationMachinery.toDataValuePointer(org.semanticweb.owlapi.model.OWLLiteral literal)

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

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

Modifier and Type	Field and Description
protected List<Literal<R>>	DatatypeEnumeration.literals

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<Representation>	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<Representation>>	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)
void	LiteralEntry.setLiteral(Literal<?> l) set host data type for the data value

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.elf

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

Modifier and Type	Method and Description
void	ELFExpressionChecker.visit(Literal<?> expr)

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
ConceptExpression	ExpressionManager.value(DataRoleExpression R, Literal<?> V) get value restriction wrt a data role R and a data value V
Axiom	ReasoningKernel.valueOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, DataRoleExpression A, Literal<?> V) axiom (value I A V)
Axiom	ReasoningKernel.valueOfNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, DataRoleExpression A, Literal<?> V) axiom :\neg A
DLTree	ExpressionTranslator.visit(Literal<?> expr)

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

Fields in uk.ac.manchester.cs.jfact.kernel.dl declared as Literal

Modifier and Type	Field and Description
protected Literal<?>	ConceptDataValue.dataValue data expression argument

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)

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() access to value
Literal<?>	AxiomValueOf.getValue() access to value

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.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)