Member predicate Public::BinaryOperationNode::hasOperands
Holds if x
and y
are the operands of this operation, in either order.
predicate hasOperands(Node x, Node y)
Holds if x
and y
are the operands of this operation, in either order.
predicate hasOperands(Node x, Node y)