Expand description
This module contains the logic to split an integer expression into pairs of factors and an atom / parameter or constant.
The general outline of the conversion is described in more detail in
../general_to_lia.rs.
Structs§
- Linear
Integer Expr - Type to represent a linear arithmetic expression
Enums§
- Atom
Factor Pair - Pair of an atom and a factor