Struct VariableIncidenceGraph 

pub struct VariableIncidenceGraph { /* private fields */ }

Variable Incidence Graph (VIG).

In the VIG, each variable is a node, and edges connect variables that appear together in clauses. Edge weights represent the number of clauses shared.

Implementations

impl VariableIncidenceGraph

pub fn from_clauses(num_vars: usize, clauses: &[Clause]) -> Self

Creates a new VIG from a set of clauses.

pub fn num_vars(&self) -> usize

Returns the number of variables in the graph.

pub fn neighbors(&self, var: usize) -> &HashMap<usize, f64>

Returns the neighbors of a variable with their edge weights.

pub fn degree(&self, var: usize) -> f64

Returns the degree (sum of edge weights) of a variable.

pub fn total_weight(&self) -> f64

Returns the total edge weight in the graph.

Trait Implementations

impl Clone for VariableIncidenceGraph

fn clone(&self) -> VariableIncidenceGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VariableIncidenceGraph

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

Formats the value using the given formatter.