propagateNotToLeaves | Propagate "Not" operations to leaves, so only leaves can have "Not" operations as parents. |
swapNotToRightHandSide | Swaps "Not" operations to the right-hand side of combining operations (i.e. "And", "Or"). Useful if a "Not" operation is slow. |
Optimize the graph.
options | Optimization options. |
Optimize the graph.