Struct ConstraintArena 

pub struct ConstraintArena<F> { /* private fields */ }

Arena-allocated constraint DAG. Nodes reference each other by ExprId (index into nodes).

Cell nodes are automatically deduplicated: calling cell() twice with the same ProgramCell returns the same ExprId. This is mandatory, the downstream compiler maps ExprId to poly index, so duplicate cells would create duplicate polys in VirtualPoly and bloat Sumcheck evaluation.

Implementations

impl<F: TowerField> ConstraintArena<F>

pub fn new() -> Self

pub fn alloc(&mut self, expr: ConstraintExpr<F>) -> ExprId

Allocate a new expression node. Returns its ID.

pub fn get(&self, id: ExprId) -> &ConstraintExpr<F>

Read a node by ID.

pub fn len(&self) -> usize

Total number of nodes.

pub fn is_empty(&self) -> bool

pub fn shift_cells(&mut self, offset: usize)

Shift all Cell node col_idx by offset. Used when embedding a chiplet’s AST into a combined program where column indices are offset.

pub fn cell(&mut self, cell: ProgramCell) -> ExprId

Create or reuse a cell reference. Automatically deduplicates: same ProgramCell -> same ExprId.

pub fn constant(&mut self, val: F) -> ExprId

Create a constant.

pub fn add(&mut self, a: ExprId, b: ExprId) -> ExprId

a + b

pub fn mul(&mut self, a: ExprId, b: ExprId) -> ExprId

a * b

pub fn scale(&mut self, coeff: F, a: ExprId) -> ExprId

coeff * a

pub fn sum(&mut self, children: Vec<ExprId>) -> ExprId

Sum of multiple expressions.

Trait Implementations

impl<F: TowerField> Clone for ConstraintArena<F>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: TowerField> Default for ConstraintArena<F>

fn default() -> Self

Returns the “default value” for a type.