Generate nodes
Generate nodes
the kids of the future node
the parameter of the future node
the resulting node
Apply reduction rule
Apply reduction rule
kids of the node
the parameter of the node
a possible reduced node
Generate a node
Generate a node
the future node kids
the future node parameter
the node
Return node containing the given parameter if already create otherwise make it
Return node containing the given parameter if already create otherwise make it
the kids of the node
the parameter
the building function
the node containing the parameter
Hashcode computation for leaf node
the type of reduced nodes
the type of the nodes
the type of edge labels
the type of the parameter
the type of the kids
the type of the collection gathering kids