Uses of Class
org.coode.oppl.bindingtree.BindingNode

Packages that use BindingNode

Package	Description
org.coode.oppl
org.coode.oppl.bindingtree
org.coode.oppl.function
org.coode.oppl.querymatching
org.coode.oppl.queryplanner
org.coode.oppl.search
org.coode.oppl.search.solvability

Uses of BindingNode in org.coode.oppl

Methods in org.coode.oppl that return types with arguments of type BindingNode

Modifier and Type	Method and Description
Set<BindingNode>	OWLObjectAbstractor.getBindingNodes()
Set<BindingNode>	ConstraintSystem.getLeaves()

Methods in org.coode.oppl with parameters of type BindingNode

Modifier and Type	Method and Description
void	ConstraintSystem.addLeaf(BindingNode bindingNode)
void	ConstraintSystem.removeBinding(BindingNode binding)

Method parameters in org.coode.oppl with type arguments of type BindingNode

Modifier and Type	Method and Description
void	OPPLQueryImpl.execute(Collection<? extends BindingNode> leaves, RuntimeExceptionHandler runtimeExceptionHandler, ExecutionMonitor executionMonitor)
void	OPPLQuery.execute(Collection<? extends BindingNode> leaves, RuntimeExceptionHandler runtimeExceptionHandler, ExecutionMonitor executionMonitor)
void	ConstraintSystem.setLeaves(Collection<? extends BindingNode> newLeaves)

Constructor parameters in org.coode.oppl with type arguments of type BindingNode

Constructor and Description
OWLObjectAbstractor(Collection<? extends Variable<?>> variables, ValueComputationParameters parameters, Collection<? extends BindingNode> bindingNodes)

Uses of BindingNode in org.coode.oppl.bindingtree

Methods in org.coode.oppl.bindingtree that return BindingNode

Modifier and Type	Method and Description
static BindingNode	BindingNode.createNewEmptyBindingNode()
static BindingNode	BindingNode.getEmptyBindingNode()

Methods in org.coode.oppl.bindingtree that return types with arguments of type BindingNode

Modifier and Type	Method and Description
Set<BindingNode>	AssignmentMap.getBindingNodes()
Set<BindingNode>	LeafBrusher.getLeaves()

Methods in org.coode.oppl.bindingtree with parameters of type BindingNode

Modifier and Type	Method and Description
boolean	BindingNode.agreesWith(BindingNode bindingNode) Determines if this binding node assignments agree with those in the input binding node
void	LeafBrusher.visit(BindingNode bindingNode)
O	BindingVisitorEx.visit(BindingNode bindingNode)
void	BindingVisitor.visit(BindingNode bindingNode)

Constructors in org.coode.oppl.bindingtree with parameters of type BindingNode

Constructor and Description
BindingNode(BindingNode bindingNode)

Constructor parameters in org.coode.oppl.bindingtree with type arguments of type BindingNode

Constructor and Description
AssignmentMap(Collection<? extends BindingNode> bindingNodes)

Uses of BindingNode in org.coode.oppl.function

Methods in org.coode.oppl.function that return BindingNode

Modifier and Type	Method and Description
BindingNode	ValueComputationParameters.getBindingNode()
BindingNode	SimpleValueComputationParameters.getBindingNode()

Constructors in org.coode.oppl.function with parameters of type BindingNode

Constructor and Description
SimpleValueComputationParameters(ConstraintSystem constraintSystem, BindingNode bindingNode, RuntimeExceptionHandler runtimeExceptionHandler)

Uses of BindingNode in org.coode.oppl.querymatching

Methods in org.coode.oppl.querymatching that return types with arguments of type BindingNode

Modifier and Type	Method and Description
Map<BindingNode,Set<org.semanticweb.owlapi.model.OWLAxiom>>	InferredTreeSearchAxiomQuery.getInstantiations()
Map<BindingNode,Set<org.semanticweb.owlapi.model.OWLAxiom>>	InferredSolvabilityBasedTreeSearchAxiomQuery.getInstantiations()
Map<BindingNode,Set<org.semanticweb.owlapi.model.OWLAxiom>>	AssertedTreeSearchSingleAxiomQuery.getInstantiations()
Map<BindingNode,Set<org.semanticweb.owlapi.model.OWLAxiom>>	AssertedTreeSearchAxiomQuery.getInstantiations()
Map<BindingNode,Set<org.semanticweb.owlapi.model.OWLAxiom>>	AssertedSolvabilityBasedAxiomQuery.getInstantiations()
Set<BindingNode>	AxiomQuery.getLeaves()
protected Set<BindingNode>	InferredTreeSearchAxiomQuery.match(org.semanticweb.owlapi.model.OWLAxiom axiom)
protected Set<BindingNode>	InferredSolvabilityBasedTreeSearchAxiomQuery.match(org.semanticweb.owlapi.model.OWLAxiom axiom)
protected Set<BindingNode>	AssertedTreeSearchSingleAxiomQuery.match(org.semanticweb.owlapi.model.OWLAxiom axiom)
protected Set<BindingNode>	AssertedTreeSearchAxiomQuery.match(org.semanticweb.owlapi.model.OWLAxiom axiom)
protected Set<BindingNode>	AssertedSolvabilityBasedAxiomQuery.match(org.semanticweb.owlapi.model.OWLAxiom axiom)

Uses of BindingNode in org.coode.oppl.queryplanner

Methods in org.coode.oppl.queryplanner that return types with arguments of type BindingNode

Modifier and Type	Method and Description
Set<BindingNode>	QueryPlannerItem.match(Collection<? extends BindingNode> currentLeaves, ExecutionMonitor executionMonitor, RuntimeExceptionHandler runtimeExceptionHandler) Matches this planner items
Set<BindingNode>	InferredAxiomQueryPlannerItem.match(Collection<? extends BindingNode> currentLeaves, ExecutionMonitor executionMonitor, RuntimeExceptionHandler runtimeExceptionHandler)
Set<BindingNode>	ConstraintQueryPlannerItem.match(Collection<? extends BindingNode> currentLeaves, ExecutionMonitor executionMonitor, RuntimeExceptionHandler runtimeExceptionHandler)
Set<BindingNode>	AssertedAxiomPlannerItem.match(Collection<? extends BindingNode> currentLeaves, ExecutionMonitor executionMonitor, RuntimeExceptionHandler runtimeExceptionHandler)
protected Set<BindingNode>	AbstractQueryPlannerItem.merge(BindingNode leaf, Collection<? extends BindingNode> newLeaves)

Methods in org.coode.oppl.queryplanner with parameters of type BindingNode

Modifier and Type	Method and Description
protected Set<BindingNode>	AbstractQueryPlannerItem.merge(BindingNode leaf, Collection<? extends BindingNode> newLeaves)

Method parameters in org.coode.oppl.queryplanner with type arguments of type BindingNode

Modifier and Type	Method and Description
Set<BindingNode>	QueryPlannerItem.match(Collection<? extends BindingNode> currentLeaves, ExecutionMonitor executionMonitor, RuntimeExceptionHandler runtimeExceptionHandler) Matches this planner items
Set<BindingNode>	InferredAxiomQueryPlannerItem.match(Collection<? extends BindingNode> currentLeaves, ExecutionMonitor executionMonitor, RuntimeExceptionHandler runtimeExceptionHandler)
Set<BindingNode>	ConstraintQueryPlannerItem.match(Collection<? extends BindingNode> currentLeaves, ExecutionMonitor executionMonitor, RuntimeExceptionHandler runtimeExceptionHandler)
Set<BindingNode>	AssertedAxiomPlannerItem.match(Collection<? extends BindingNode> currentLeaves, ExecutionMonitor executionMonitor, RuntimeExceptionHandler runtimeExceptionHandler)
protected Set<BindingNode>	AbstractQueryPlannerItem.merge(BindingNode leaf, Collection<? extends BindingNode> newLeaves)

Uses of BindingNode in org.coode.oppl.search

Methods in org.coode.oppl.search that return BindingNode

Modifier and Type	Method and Description
BindingNode	OPPLOWLAxiomSearchNode.getBinding()

Constructors in org.coode.oppl.search with parameters of type BindingNode

Constructor and Description
OPPLOWLAxiomSearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)

Uses of BindingNode in org.coode.oppl.search.solvability

Methods in org.coode.oppl.search.solvability with parameters of type BindingNode

Modifier and Type	Method and Description
static SolvabilitySearchNode	SolvabilitySearchNode.buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, AxiomSolvability axiomSolvability, BindingNode bindingNode)
SolvabilitySearchNode	AbstractSolvabilityOPPLOWLAxiomSearchTree.buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)
SolvabilitySearchNode	OWLObjectPropertyFillersAxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)
SolvabilitySearchNode	OWLClassSubClassOfAxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)
SolvabilitySearchNode	NoResultsAxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)
SolvabilitySearchNode	MultipleAxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)
SolvabilitySearchNode	AxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)

Constructors in org.coode.oppl.search.solvability with parameters of type BindingNode

Constructor and Description
NoSolutionSolvableSearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)
SolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)
SolvableSearchNode(Variable<?> variable, org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode, Collection<? extends org.semanticweb.owlapi.model.OWLObject> values)
SolvedSearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)
UnsolvableSearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)