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 operations.