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.

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.