Called as part of graph interpretation to execute the given binary operation.
Called as part of graph interpretation to execute the given binary operation.
operation argument
operation argument
result of applying this operation to (x, y)
Builds a new graph node by applying this operation to the given arguments.
Builds a new graph node by applying this operation to the given arguments.
Builds a new graph node by applying this operation to the given arguments.
Builds a new graph node by applying this operation to the given arguments. This is a short-cuting (aka lazy) version of the operation, where the lazyness is represented by Thunk.
Whether the constants should be propagated through this operations by rewriting.
(Since version ) see corresponding Javadoc for more information.
Base class for descriptors of binary division operations.