Struct ConstraintParser 

pub struct ConstraintParser;

Parser for constraint expressions.

Converts constraint strings into Symbolica atoms for symbolic manipulation.

Implementations

impl ConstraintParser

pub fn new() -> Self

Creates a new constraint parser.

pub fn parse( &self, expr: &str, field_names: &[&str], ) -> Result<ConstraintExpr, ParseError>

Parses a constraint expression.

The expression must be of the form expr = value, where:

• expr is a mathematical expression using field names
• value is a numeric constant or expression

Arguments

• expr - The constraint expression string (e.g., “s * s + xy * xy = 1”)
• field_names - The field names that appear in the expression

Returns

A parsed constraint expression.

Examples

use clifford_codegen::symbolic::ConstraintParser;

let parser = ConstraintParser::new();
let constraint = parser.parse("s * s + xy * xy = 1", &["s", "xy"])?;

Trait Implementations

impl Debug for ConstraintParser

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

Formats the value using the given formatter.

impl Default for ConstraintParser

fn default() -> ConstraintParser

Returns the “default value” for a type.