/** * Bind a value to a variable, recording the binding in the trail. * * @param var the dereferenced variable to be bound * @param val the value to bind to it */ public void bind(Node var, Node val) { ((Node_RuleVariable) var).simpleBind(val); trail.add(var); }