[][src]Module transform::reduction

Replace operators on constants collections with constant collections.

Re-exports

pub use demorgans::DeMorgans;
pub use negate_predicate::NegatePredicate;
pub use undistribute_and::UndistributeAnd;

Modules

demorgans

Transforms !(a && b) into !a || !b and !(a || b) into !a && !b

negate_predicate

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

undistribute_and

Transforms predicates from (a && b) || (a && c) into a && (b || c).

Structs

FoldConstants

Replace operators on constants collections with constant collections.