Function exact_plan_differences 

pub fn exact_plan_differences(
    graph: &DiffGraph,
    leaves: Leaves,
    file: &str,
    position: Position,
    operand_min: f64,
    operand_max: f64,
) -> Result<ExactPlan, Error>

Derives the exact stage of a difference form whose leaves have the given number of components, for the product domain [operand_min, operand_max].

See ExactRange for the rule and why it is sound.

Errors

As exact_plan_raw, except that a difference form has no constants.

Panics

As exact_plan_raw.