Skip to main content

exact_plan_raw

Function exact_plan_raw 

Source
pub fn exact_plan_raw(
    graph: &Graph,
    file: &str,
    position: Position,
    operand_min: f64,
    operand_max: f64,
) -> Result<ExactPlan, Error>
Expand description

Derives the exact stage of the raw form, whose leaves are the input coordinates, for the product domain [operand_min, operand_max].

See ExactRange for the rule and why it is sound.

§Errors

Returns an error, at position (the name of the form) in file, when no range satisfies the rule, when a constant is not exact in f64, or when the evaluation is too large: a temporary longer than 2^32 components, temporaries longer than that in all, or a node that depends on more than 2^51 error-free transformations.

§Panics

Panics if operand_min and operand_max are not normal powers of two with operand_min <= operand_max.