Uses of Class
openllet.core.rules.VariableBinding

Packages that use VariableBinding

Package	Description
openllet.core.rules
openllet.core.tableau.branch

Uses of VariableBinding in openllet.core.rules

Methods in openllet.core.rules that return VariableBinding

Modifier and Type	Method	Description
VariableBinding	PartialBinding.getBinding()

Methods in openllet.core.rules that return types with arguments of type VariableBinding

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

Methods in openllet.core.rules with parameters of type VariableBinding

Modifier and Type	Method	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	BindingHelper.rebind(VariableBinding newBinding)	Set the incoming binding for this helper.
void	DataRangeBindingHelper.rebind(VariableBinding newBinding)
void	DatavaluePropertyBindingHelper.rebind(VariableBinding newBinding)	Set the incoming binding for this helper.
void	ObjectVariableBindingHelper.rebind(VariableBinding newBinding)
void	BindingHelper.setCurrentBinding(VariableBinding currentBinding)	Set the variables this pattern uses in the given map.
void	DataRangeBindingHelper.setCurrentBinding(VariableBinding currentBinding)
void	DatavaluePropertyBindingHelper.setCurrentBinding(VariableBinding currentBinding)	Set the variables this _pattern uses in the given map.
void	ObjectVariableBindingHelper.setCurrentBinding(VariableBinding currentBinding)

Constructors in openllet.core.rules with parameters of type VariableBinding

Constructor	Description
BindingGeneratorImpl(VariableBinding initialBinding, java.util.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 openllet.core.tableau.branch

Constructors in openllet.core.tableau.branch with parameters of type VariableBinding

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