this class is used to record the mapping from [variable] Node's to
the indexes they are bound to in a Query. Nodes bound to negative values
are predeclared; the negative value is converted on index allocation.
Constructor Summary
public
Mapping(Node[] preDeclare) Create a new mapping in which all variables are unbound and the variables
of preDeclare will be allocated the first slots in the map in their
natural order.
Create a new mapping in which all variables are unbound and the variables
of preDeclare will be allocated the first slots in the map in their
natural order. [This is so that the query domain elements that come out of the
matching process will be positioned to be suitable as query answers.]
Answer true iff we have already bound v (predeclaration doesn't count)
Parameters: v - the node to look up true iff this mapping has seen a binding occurance of v