Module remove_div 

Module for removing divisions by replacing them with multiplications by fractions.

This module contains the logic to remove all division operators from an integer expression. Most importantly, it contains the conversion from NoMinusIntegerExpr to NoDivIntegerExpr.

Integer expressions without divisions (and subtraction) are represented by the type NoDivIntegerExpr. This type is a subset of the NonMinusIntegerExpr type, which is a subset of the crate::expressions::IntegerExpression type.

Enums

NoDivIntegerExpr

Integer expression without division operators

NoDivIntegerOp

Integer operator that only allows for addition and multiplication