The base string for a variable's name
The class order for this node
The type of node
The unique identifier of this variable
The node's value
Static
fromStatic
toCompares whether the two nodes are equal
The other node
Compares whether this node is the same as the other one
Another node
Creates the substituted node for this one, according to the specified bindings
Bindings of identifiers to nodes
Creates a canonical string representation of this node
Creates a n-quads string representation of this node
Creates a n-triples string representation of this node
Creates a string representation of this node
Static
toReturns a string representation of a function.
Variables are placeholders used in patterns to be matched. In cwm they are symbols which are the formula's list of quantified variables. In sparql they are not visibly URIs. Here we compromise, by having a common special base URI for variables. Their names are uris, but the ? notation has an implicit base uri of 'varid:'