Struct DecisionDnnf 

pub struct DecisionDnnf { /* private fields */ }

Implementations

impl DecisionDnnf

pub fn root(&self) -> u32

pub fn max_var(&self) -> u32

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

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

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

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

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

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

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.