EOG_BACKWARD
Traverse Evaluation Order Graph in backward direction.
Return
Iterator over successors.
Parameters
x
Current node in EOG.
Traverse Evaluation Order Graph in backward direction.
Iterator over successors.
Current node in EOG.