public Node asNodeMatch(Domain d) {
return (Node) d.getElement(index);
}
/**
* Answer true iff the node <code>x</code> matches the previously-seen value at Donain[index]. The
* matching uses datatype-value semantics, implemented by <code>Node::sameValueAs()</code>.
*/
public boolean match(Domain d, Node x) {
return x.sameValueAs(d.getElement(index));
}