[][src]Module transform::reduction::negate_predicate

Transforms NOT(a <op> b) to a negate(<op>) b if it exists.

Structs

NegatePredicate

Transforms NOT(a <op> b) to a negate(<op>) b.

Functions

negate_predicate

Transforms NOT(a <op> b) to a negate(<op>) b if it exists.