Generate a node from parameters
Generate a node from parameters
the kids of the future node
the parameter of the future node
the 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
Factory for node containing list of kids
the type of simplified node
the type of the nodes
the type of the parameter
the type of kids