|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use VariableBinding | |
---|---|
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 | |
---|---|
java.util.Iterator<VariableBinding> |
BindingGeneratorImpl.iterator()
|
Pair<Rule,VariableBinding> |
ContinuousReteTransformer.translateFact(Fact fact)
Translate inferred rule binding into a Rule-VariableBinding pair. |
Methods in com.clarkparsia.pellet.rules with parameters of type VariableBinding | |
---|---|
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 com.clarkparsia.pellet.rules with parameters of type VariableBinding | |
---|---|
BindingGeneratorImpl(ABox abox,
VariableBinding initialBinding,
java.util.Collection<BindingHelper> helpers)
Constructs a binding generator with the given list of helpers. |
|
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 | |
---|---|
RuleBranch(ABox abox,
CompletionStrategy completion,
RuleAtomAsserter ruleAtomAsserter,
java.util.List<RuleAtom> atoms,
VariableBinding binding,
int bodyAtomCount,
DependencySet ds)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |