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 VariableBindingPartialBinding. 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 booleanRuleAtomAsserter. assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated, ABox abox, CompletionStrategy strategy)BindingGeneratorBindingGeneratorStrategy. createGenerator(Rule rule, VariableBinding initialBinding)BindingGeneratorBindingGeneratorStrategyImpl. createGenerator(Rule rule, VariableBinding initialBinding)DependencySetTrivialSatisfactionHelpers. isAtomTrue(RuleAtom atom, VariableBinding binding)voidBindingHelper. rebind(VariableBinding newBinding)Set the incoming binding for this helper.voidDataRangeBindingHelper. rebind(VariableBinding newBinding)voidDatavaluePropertyBindingHelper. rebind(VariableBinding newBinding)Set the incoming binding for this helper.voidObjectVariableBindingHelper. rebind(VariableBinding newBinding)voidBindingHelper. setCurrentBinding(VariableBinding currentBinding)Set the variables this pattern uses in the given map.voidDataRangeBindingHelper. setCurrentBinding(VariableBinding currentBinding)voidDatavaluePropertyBindingHelper. setCurrentBinding(VariableBinding currentBinding)Set the variables this _pattern uses in the given map.voidObjectVariableBindingHelper. 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)
-