Struct DagBuilder 

pub struct DagBuilder<EF> { /* private fields */ }

A hash-consed DAG builder.

The builder de-duplicates identical subexpressions to keep the circuit compact and deterministic.

Implementations

impl<EF> DagBuilder<EF>

where EF: Field,

pub fn new() -> Self

Create an empty, hash-consed DAG builder.

pub fn from_nodes(nodes: Vec<NodeKind<EF>>) -> Self

Resume building from existing nodes using the published 0.23.0 API shape.

Imported node ids are rebased onto the new builder, and ids from the source DAG are accepted only when that provenance is encoded in the node graph itself.

pub fn from_snapshot(snapshot: DagSnapshot<EF>) -> Self

Resume building from an exported snapshot.

This preserves the original DAG id even when the imported nodes are all leaves.

pub fn from_dag(dag: AceDag<EF>) -> Self

Resume building from an existing DAG.

Rebuilds the deduplication cache so that subsequent operations reuse existing subexpressions.

pub fn into_nodes(self) -> Vec<NodeKind<EF>>

Consume the builder and return its node list.

pub fn build(self, root: NodeId) -> AceDag<EF>

Consume the builder and return a DAG with the provided root.

pub fn input(&mut self, key: InputKey) -> NodeId

Add an input node.

pub fn constant(&mut self, value: EF) -> NodeId

Add a constant node.

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

Add an addition node (with constant folding).

pub fn sub(&mut self, a: NodeId, b: NodeId) -> NodeId

Add a subtraction node (with constant folding).

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

Add a multiplication node (with constant folding).

pub fn neg(&mut self, a: NodeId) -> NodeId

Add a negation node (with constant folding).

Trait Implementations

impl<EF: Debug> Debug for DagBuilder<EF>

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

Formats the value using the given formatter.

impl<EF> Default for DagBuilder<EF>

where EF: Field,

fn default() -> Self

Returns the “default value” for a type.