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

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)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.