Skip to main content

parse_nl_text

Function parse_nl_text 

Source
pub fn parse_nl_text(txt: &str) -> Result<NlProblem, String>
Expand description

Parse .nl text content. Public so tests can use string literals.

Degree-2 bodies are recognized as the token stream is read, so their Expr trees are never built (gh #588, Q5); POUNCE_DBG_NO_QUAD=1 turns that off and restores the pre-Q5 parse exactly, which is what the A/B reference and gh #540’s guard test need. See parse_nl_text_with_quadratic for the same switch as a parameter.