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