Struct DecisionDnnf 

pub struct DecisionDnnf { /* private fields */ }

Parsed decision-DNNF circuit with indexed outgoing edges.

Implementations

impl DecisionDnnf

pub fn root(&self) -> u32

Returns the circuit root identifier.

pub fn max_var(&self) -> u32

Returns the largest DIMACS variable referenced by the circuit.

pub fn node_kind(&self, node_id: u32) -> Option<DdnnfNodeKind>

Returns the operator of node_id, if the node exists.

pub fn outgoing_edge_indices(&self, node_id: u32) -> Option<&[usize]>

Returns indices of edges leaving node_id.

pub fn edge(&self, edge_idx: usize) -> Option<&DdnnfEdge>

Returns an edge by its stable index.

pub fn parse_str(input: &str) -> Result<Self>

Parses and validates a textual decision-DNNF circuit.

pub fn eval_log_wmc<F>(&self, var_log_weights: F) -> Result<f64>

where F: Fn(u32) -> (f64, f64),

Evaluates the circuit’s weighted model count in log space.

Trait Implementations

impl Clone for DecisionDnnf

fn clone(&self) -> DecisionDnnf

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DecisionDnnf

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

Formats the value using the given formatter.