- All Known Implementing Classes:
BindingStack
,BindingVector
,LPBindingEnvironment
public interface BindingEnvironment
Interface through which the current bound values of variables
can be found. Many of the details vary between the forward and
backward chaining system - this interface is the minimal one needed
by most builtins the specific implementations offer richer functionality.
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Bind a variable in the current environment to the given value.getGroundVersion
(Node node) Return the most ground version of the node.instantiate
(TriplePattern pattern) Instantiate a triple pattern against the current environment.
-
Method Details
-
getGroundVersion
Return the most ground version of the node. If the node is not a variable just return it, if it is a variable bound in this environment return the binding, if it is an unbound variable return the variable. -
bind
Bind a variable in the current environment to the given value. Checks that the new binding is compatible with any current binding.- Parameters:
var
- a Node_RuleVariable defining the variable to bindvalue
- the value to bind- Returns:
- false if the binding fails
-
instantiate
Instantiate a triple pattern against the current environment. This version handles unbound variables by turning them into bNodes.- Parameters:
pattern
- the triple pattern to match- Returns:
- a new, instantiated triple
-