Module simplifier 

Simplifier for Physical Expressions

Modules

const_evaluator

Constant expression evaluation for the physical expression simplifier

not

Simplify NOT expressions in physical expressions

unwrap_cast

Unwrap casts in binary comparisons for physical expressions

Structs

PhysicalExprSimplifier

Simplifies physical expressions by applying various optimizations