Uses of Class
com.clarkparsia.pellet.rules.VariableBinding

Packages that use VariableBinding

Package	Description
com.clarkparsia.pellet.rules
org.mindswap.pellet.tableau.branch

Uses of VariableBinding in com.clarkparsia.pellet.rules

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

Modifier and Type	Method and Description
Iterator<VariableBinding>	BindingGeneratorImpl.iterator()

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

Modifier and Type	Method and Description
boolean	RuleAtomAsserter.assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated, ABox abox, CompletionStrategy strategy)
BindingGenerator	BindingGeneratorStrategy.createGenerator(Rule rule, VariableBinding initialBinding)
BindingGenerator	BindingGeneratorStrategyImpl.createGenerator(Rule rule, VariableBinding initialBinding)
DependencySet	TrivialSatisfactionHelpers.isAtomTrue(RuleAtom atom, VariableBinding binding)
void	DataRangeBindingHelper.rebind(VariableBinding newBinding)
void	BindingHelper.rebind(VariableBinding newBinding) Set the incoming binding for this helper.
void	ObjectVariableBindingHelper.rebind(VariableBinding newBinding)
void	DatavaluePropertyBindingHelper.rebind(VariableBinding newBinding) Set the incoming binding for this helper.
void	DataRangeBindingHelper.setCurrentBinding(VariableBinding currentBinding)
void	BindingHelper.setCurrentBinding(VariableBinding currentBinding) Set the variables this pattern uses in the given map.
void	ObjectVariableBindingHelper.setCurrentBinding(VariableBinding currentBinding)
void	DatavaluePropertyBindingHelper.setCurrentBinding(VariableBinding currentBinding) Set the variables this pattern uses in the given map.

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

Constructor and Description
BindingGeneratorImpl(ABox abox, VariableBinding initialBinding, Collection<BindingHelper> helpers) Constructs a binding generator with the given list of helpers.
PartialBinding(Rule rule, VariableBinding binding, DependencySet ds)
VariableBinding(VariableBinding binding) Shallow copies the binding maps.

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

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

Constructor and Description
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, List<RuleAtom> atoms, VariableBinding binding, int bodyAtomCount, DependencySet ds)