Expand description
This module contains the implementation of the Fraction type and its
operations.
Fractions are used to represent rational numbers in the threshold automaton,
for example, in crate::lia_threshold_automaton::LIAThresholdAutomaton
Fractions are always stored in their simplified form.
Structsยง
- Fraction
- Type to representing a fraction