Uses of Class
org.mindswap.pellet.ABox

Packages that use ABox

Package	Description
com.clarkparsia.pellet
com.clarkparsia.pellet.impl
com.clarkparsia.pellet.rules
com.clarkparsia.pellet.rules.builtins
com.clarkparsia.pellet.rules.rete
org.mindswap.pellet
org.mindswap.pellet.tableau.branch
org.mindswap.pellet.tableau.cache
org.mindswap.pellet.tableau.completion
org.mindswap.pellet.tableau.completion.queue

Uses of ABox in com.clarkparsia.pellet

Methods in com.clarkparsia.pellet with parameters of type ABox

Modifier and Type	Method and Description
IncrementalChangeTracker	IncrementalChangeTracker.copy(ABox target) Copy change tracker for use with a new ABox (presumably as part of ABox.copy())

Uses of ABox in com.clarkparsia.pellet.impl

Methods in com.clarkparsia.pellet.impl with parameters of type ABox

Modifier and Type	Method and Description
SimpleIncrementalChangeTracker	SimpleIncrementalChangeTracker.copy(ABox target)

Uses of ABox in com.clarkparsia.pellet.rules

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

Modifier and Type	Method and Description
ABox	VariableBinding.getABox()

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

Modifier and Type	Method and Description
boolean	RuleAtomAsserter.assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated, ABox abox, CompletionStrategy strategy)

Constructors in com.clarkparsia.pellet.rules with parameters of type ABox

Constructor and Description
AllNamedIndividualsIterator(ABox abox)
BindingGeneratorImpl(ABox abox, VariableBinding initialBinding, Collection<BindingHelper> helpers) Constructs a binding generator with the given list of helpers.
BindingGeneratorStrategyImpl(ABox abox)
ContinuousReteTransformer(ABox abox)
ContinuousRulesStrategy(ABox abox)
DataRangeBindingHelper(ABox abox, DataRangeAtom atom)
DatavaluePropertyBindingHelper(ABox abox, DatavaluedPropertyAtom pattern)
ObjectVariableBindingHelper(ABox abox, AtomIVariable var)
RulesToReteTranslator(ABox abox)
RuleStrategy(ABox abox)
TrivialSatisfactionHelpers(ABox abox)
VariableBinding(ABox abox)

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

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

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

Constructors in com.clarkparsia.pellet.rules.builtins with parameters of type ABox

Constructor and Description
NumberToLiteralVisitor(ABox abox)

Uses of ABox in com.clarkparsia.pellet.rules.rete

Methods in com.clarkparsia.pellet.rules.rete with parameters of type ABox

Modifier and Type	Method and Description
void	Compiler.compileFacts(ABox abox)

Constructors in com.clarkparsia.pellet.rules.rete with parameters of type ABox

Constructor and Description
Compiler(Interpreter interp, ABox abox)
Interpreter(ABox abox)

Uses of ABox in org.mindswap.pellet

Fields in org.mindswap.pellet declared as ABox

Modifier and Type	Field and Description
protected ABox	Node.abox
protected ABox	LiteralIterator.abox ABox where literals are stoired
protected ABox	KnowledgeBase.abox
protected ABox	IndividualIterator.abox ABox where the individuals are stored

Methods in org.mindswap.pellet that return ABox

Modifier and Type	Method and Description
ABox	ABox.copy() Create a copy of this ABox with all the nodes and edges.
ABox	ABox.copy(aterm.ATermAppl extraIndividual, boolean copyIndividuals) Create a copy of this ABox with one more additional individual.
ABox	ABox.copy(KnowledgeBase kb) Create a copy of this ABox with all the nodes and edges and the given KB.
ABox	Node.getABox() getABox
ABox	KnowledgeBase.getABox()
ABox	ABox.getLastCompletion()

Methods in org.mindswap.pellet with parameters of type ABox

Modifier and Type	Method and Description
abstract Node	Node.copyTo(ABox abox)
Clash	Clash.copyTo(ABox abox)
Node	Individual.copyTo(ABox abox)
Node	Literal.copyTo(ABox abox)
void	ABox.setLastCompletion(ABox comp)

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

Constructor and Description
ABox(KnowledgeBase kb, ABox abox, aterm.ATermAppl extraIndividual, boolean copyIndividuals)
IndividualIterator(ABox abox) Create an iterator over all the individuals in the ABox
Literal(aterm.ATermAppl name, aterm.ATermAppl term, ABox abox, DependencySet ds)
Literal(Literal literal, ABox abox)
LiteralIterator(ABox abox) Create an iterator over all the individuals in the ABox
LiteralIterator(ABox abox, boolean findNext) Create an iterator over all the individuals in the ABox but do not automatically find the first individual if findNext parameter is false
LiteralIterator(ABox abox, int start, int stop) Create a limited iterator over the individuals in the ABox that only covers the individuals whose index in nodeList is between start ans stop indices.
Node(aterm.ATermAppl name, ABox abox)
Node(Node node, ABox abox)

Uses of ABox in org.mindswap.pellet.tableau.branch

Fields in org.mindswap.pellet.tableau.branch declared as ABox

Modifier and Type	Field and Description
protected ABox	Branch.abox

Methods in org.mindswap.pellet.tableau.branch with parameters of type ABox

Modifier and Type	Method and Description
IndividualBranch	MaxBranch.copyTo(ABox abox)
IndividualBranch	GuessBranch.copyTo(ABox abox)
DisjunctionBranch	DisjunctionBranch.copyTo(ABox abox)
abstract Branch	Branch.copyTo(ABox abox)
RuleBranch	RuleBranch.copyTo(ABox abox)

Constructors in org.mindswap.pellet.tableau.branch with parameters of type ABox

Constructor and Description
ChooseBranch(ABox abox, CompletionStrategy completion, Node node, aterm.ATermAppl c, DependencySet ds)
DisjunctionBranch(ABox abox, CompletionStrategy completion, Node node, aterm.ATermAppl disjunction, DependencySet ds, aterm.ATermAppl[] disj)
GuessBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int minGuess, int maxGuess, aterm.ATermAppl q, DependencySet ds)
IndividualBranch(ABox abox, CompletionStrategy strategy, Individual x, DependencySet ds, int n)
MaxBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int n, aterm.ATermAppl qualification, List<NodeMerge> mergePairs, DependencySet ds)
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, List<RuleAtom> atoms, VariableBinding binding, int bodyAtomCount, DependencySet ds)

Uses of ABox in org.mindswap.pellet.tableau.cache

Methods in org.mindswap.pellet.tableau.cache with parameters of type ABox

Modifier and Type	Method and Description
protected Iterator<CachedNode>	CacheSafetyDynamic.getCachedNodes(ABox abox, aterm.ATermAppl c)

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

Fields in org.mindswap.pellet.tableau.completion declared as ABox

Modifier and Type	Field and Description
protected ABox	CompletionStrategy.abox ABox being completed

Methods in org.mindswap.pellet.tableau.completion that return ABox

Modifier and Type	Method and Description
ABox	CompletionStrategy.getABox()

Constructors in org.mindswap.pellet.tableau.completion with parameters of type ABox

Constructor and Description
CompletionStrategy(ABox abox)
EmptySRIQStrategy(ABox abox)
SROIQIncStrategy(ABox abox) Constructor
SROIQStrategy(ABox abox)

Uses of ABox in org.mindswap.pellet.tableau.completion.queue

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

Modifier and Type	Method and Description
void	CompletionQueue.setABox(ABox ab) Set the abox for the queue
void	OptimizedBasicCompletionQueue.setABox(ABox ab) Set the abox for the queue
void	BasicCompletionQueue.setABox(ABox ab) Set the abox for the queue

Constructors in org.mindswap.pellet.tableau.completion.queue with parameters of type ABox

Constructor and Description
BasicCompletionQueue(ABox abox) Constructor - create queue
CompletionQueue(ABox abox) Constructor - create queue
OptimizedBasicCompletionQueue(ABox abox) Constructor - create queue