示例#1
0
 public Node asNodeMatch(Domain d) {
   return (Node) d.getElement(index);
 }
示例#2
0
 /**
  * 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));
 }