Struct QuadBody 

pub struct QuadBody {
    pub form: Quad2,
    pub vars: Vec<u32>,
    pub src: Range<usize>,
    pub depth: u32,
}

A body the parser recognized as an already-expanded quadratic.

Fields

form: Quad2

The recognized form. Bit-for-bit what crate::nl_quadratic::recognize_expr returns for the tree these same bytes parse to — asserted directly, over the whole corpus, by pounce-cli/tests/quad_parse_differential.rs.

vars: Vec<u32>

Every variable the body’s token stream mentions, ascending and deduplicated — exactly the set collect_vars reports for the tree, including variables whose coefficient cancelled to zero (which form necessarily drops). Structural consumers want this one; the linearity contract is over-stating-is-safe, and a support taken from form would under-state.

src: Range<usize>

Byte range of this body’s token stream inside NlProblem::src.

depth: u32

Nesting depth of the tree these tokens would have built, on the same convention as a leaf counting 1.

Recorded because the streaming recognizer is iterative and the tree parser is not: a body deep enough to overflow the parser’s stack now loads, and the depth guard that used to be enforced implicitly by the parse failing has to be enforced by something. pounce-py’s checked_depth reads it (pounce #472). Rebuilding such a body with NlProblem::con_expr would still recurse, which is the same ceiling Q3 recorded and Q5 does not lift.

Trait Implementations

impl Clone for QuadBody

fn clone(&self) -> QuadBody

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for QuadBody

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.