Uses of Class
org.mindswap.pellet.Literal

Packages that use Literal

Package	Description
com.clarkparsia.pellet.datatypes
com.clarkparsia.pellet.rules
com.clarkparsia.pellet.rules.builtins
org.mindswap.pellet
org.mindswap.pellet.tableau.completion

Uses of Literal in com.clarkparsia.pellet.datatypes

Method parameters in com.clarkparsia.pellet.datatypes with type arguments of type Literal

Modifier and Type	Method and Description
boolean	DatatypeReasonerImpl.isSatisfiable(Set<Literal> nodes, Map<Literal,Set<Literal>> neqs)
boolean	DatatypeReasonerImpl.isSatisfiable(Set<Literal> nodes, Map<Literal,Set<Literal>> neqs)
boolean	DatatypeReasonerImpl.isSatisfiable(Set<Literal> nodes, Map<Literal,Set<Literal>> neqs)
boolean	DatatypeReasoner.isSatisfiable(Set<Literal> nodes, Map<Literal,Set<Literal>> ineqs) Check that the data ranges and inequalities asserted on a collection of literal nodes are satisfiable.
boolean	DatatypeReasoner.isSatisfiable(Set<Literal> nodes, Map<Literal,Set<Literal>> ineqs) Check that the data ranges and inequalities asserted on a collection of literal nodes are satisfiable.
boolean	DatatypeReasoner.isSatisfiable(Set<Literal> nodes, Map<Literal,Set<Literal>> ineqs) Check that the data ranges and inequalities asserted on a collection of literal nodes are satisfiable.

Uses of Literal in com.clarkparsia.pellet.rules

Methods in com.clarkparsia.pellet.rules that return Literal

Modifier and Type	Method and Description
Literal	VariableBinding.get(AtomDObject key) If the key is a variable, return the node associated with it in the map.
Literal	LiteralFilter.next()
Literal	VariableBinding.set(AtomDObject key, Literal value) If the key is a data variable, set the value.
Literal	VariableBinding.set(AtomDVariable key, aterm.ATermAppl value)

Methods in com.clarkparsia.pellet.rules that return types with arguments of type Literal

Modifier and Type	Method and Description
Set<Map.Entry<AtomDVariable,Literal>>	VariableBinding.dataEntrySet()

Methods in com.clarkparsia.pellet.rules with parameters of type Literal

Modifier and Type	Method and Description
Literal	VariableBinding.set(AtomDObject key, Literal value) If the key is a data variable, set the value.

Uses of Literal in com.clarkparsia.pellet.rules.builtins

Methods in com.clarkparsia.pellet.rules.builtins that return Literal

Modifier and Type	Method and Description
Literal	StringFunctionAdapter.apply(ABox abox, Literal expected, Literal... litArgs)
Literal	NumericAdapter.apply(ABox abox, Literal expected, Literal... args)
Literal	Function.apply(ABox abox, Literal expected, Literal... args) Apply the function against a set of arguments.
static Literal	ComparisonTesters.expectedIfEquals(Literal expected, Literal result) If the first argument is null, return the second.
Literal	NumberToLiteralVisitor.getLiteral()

Methods in com.clarkparsia.pellet.rules.builtins with parameters of type Literal

Modifier and Type	Method and Description
boolean	GeneralFunction.apply(ABox abox, Literal[] args) Apply the function against a set of arguments.
Literal	StringFunctionAdapter.apply(ABox abox, Literal expected, Literal... litArgs)
Literal	StringFunctionAdapter.apply(ABox abox, Literal expected, Literal... litArgs)
Literal	NumericAdapter.apply(ABox abox, Literal expected, Literal... args)
Literal	NumericAdapter.apply(ABox abox, Literal expected, Literal... args)
Literal	Function.apply(ABox abox, Literal expected, Literal... args) Apply the function against a set of arguments.
Literal	Function.apply(ABox abox, Literal expected, Literal... args) Apply the function against a set of arguments.
static Literal	ComparisonTesters.expectedIfEquals(Literal expected, Literal result) If the first argument is null, return the second.
boolean	BinaryTester.test(Literal[] args)
boolean	Tester.test(Literal[] args)
protected abstract boolean	BinaryTester.test(Literal l1, Literal l2) Overriden to provide test functionality

Uses of Literal in org.mindswap.pellet

Methods in org.mindswap.pellet that return Literal

Modifier and Type	Method and Description
Literal	ABox.addLiteral(aterm.ATermAppl dataValue) Add a new literal to the ABox.
Literal	ABox.addLiteral(aterm.ATermAppl dataValue, DependencySet ds)
Literal	ABox.addLiteral(DependencySet ds) Add a new literal to the ABox.
Literal	ABox.getLiteral(aterm.ATerm x)
Literal	Literal.getSame()
Literal	LiteralIterator.next()

Constructors in org.mindswap.pellet with parameters of type Literal

Constructor and Description
Literal(Literal literal, ABox abox)

Uses of Literal in org.mindswap.pellet.tableau.completion

Methods in org.mindswap.pellet.tableau.completion with parameters of type Literal

Modifier and Type	Method and Description
protected void	CompletionStrategy.applyFunctionalMaxRule(Literal x, Role r, DependencySet ds)
protected void	CompletionStrategy.mergeLiterals(Literal y, Literal x, DependencySet ds) Merge literal y into x.