Module rational_deduction::expr

Expression Ratio Module

Enums

RatioPairFromExprError

Conversion from Expr to RatioPair Error Type

Functions

eval_composition	Evaluate a composition by performing each substitution and then composing ratios.
has_ratio_shape	Check if an Expression has the right shape to be a ratio.
substitute	Substitute an Expression into each Atom of self.