An optimizer that combines several optimizations in an optimal way.
Inherit from this class using CRTP, if your Pass does not need state and a fixed-point iteration.
Helper class to retrieve Infer::arg if present.
Replaces calls to the zero axioms with actual zeros.
AutoDiffZero(PassMan &man)
Ref rewrite(Ref) override
The automatic differentiation Plugin