| java.lang.Object
 com.hp.hpl.jena.reasoner.rulesys.impl.oldCode.Trail
| Trail | | public class Trail implements BindingEnvironment(Code) | | Representation of a trail of variable bindings. Each rule state has its
own trail segment which is an instance of this class.
author:
Dave Reynolds
version:
$Revision: 1.9 $ on $Date: 2008/01/02 12:09:45 $ |
| Inner Class :static class TrailEntry | |
| trail | | protected ArrayList trail(Code) | | A trail of variable bindings made during the processing of this state
|
| activate | | public void activate()(Code) | | Restore the set of trail bindings.
|
| bind | | public boolean bind(Node var, Node value)(Code) | | Bind a variable in the current envionment to the given value.
Checks that the new binding is compatible with any current binding.
Parameters:
var - a Node_RuleVariable defining the variable to bind
Parameters:
value - the value to bind false if the binding fails |
| getGroundVersion | | public Node getGroundVersion(Node node)(Code) | | Return the most ground version of the node. If the node is not a variable
just return it, if it is a varible bound in this environment return the binding,
if it is an unbound variable return the variable.
|
| getMostGroundVersion | | public Node getMostGroundVersion(Node node)(Code) | | Return the most ground version of the node. This extends getGroundVersion by
also grounding any embedded functors.
|
| getMostGroundVersion | | public Functor getMostGroundVersion(Functor f)(Code) | | Return the most ground version of the functor. Only used for pretty printing.
|
| instantiate | | public Triple instantiate(TriplePattern goal)(Code) | | Instatiate a goal pattern using the binding environment
Parameters:
goal - the TriplePattern to be instantiated an instantiated Triple |
| partInstantiate | | public TriplePattern partInstantiate(TriplePattern goal)(Code) | | Bind the variables in a goal pattern using the binding environment, to
generate a more specialized goal
Parameters:
goal - the TriplePattern to be instantiated a TriplePattern obtained from the goal by substituting current bindinds |
| unify | | public boolean unify(TriplePattern t, TriplePattern tp)(Code) | | Unify two triple patterns recording all of the bindings on the trail.
If the unification fails returns false and the trail is left unchanged.
|
| unify | | public boolean unify(Triple t, TriplePattern tp)(Code) | | Unify a triple against a triple pattern recording all of the bindings on the trail.
If the unification fails returns false and the trail is left unchanged.
|
| unify | | public boolean unify(Node n1, Node n2)(Code) | | Unify two nodes, neither can be a literal.
|
| unifyObj | | public boolean unifyObj(Node n1, Node n2)(Code) | | Unify two nodes, can be a literals.
|
| unwindAndClear | | public void unwindAndClear()(Code) | | Unwind all the bindings on the trail the forget them all.
|
| unwindBindings | | public void unwindBindings()(Code) | | Unwind all the bindings on the trail.
|
|
|