Struct CommunityPartition 

pub struct CommunityPartition { /* private fields */ }

Partitioned clause database organized by variable communities.

Implementations

impl CommunityPartition

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

Creates a new community partition from clauses.

pub fn get_partition(&self, community: usize) -> &[usize]

Returns the clause indices in a specific community partition.

pub fn num_communities(&self) -> usize

Returns the number of communities.

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

Returns the community ID for a variable.

pub fn partition_sizes(&self) -> Vec<usize>

Returns all partition sizes.

pub fn total_clauses(&self) -> usize

Returns the total number of clauses across all partitions.

pub fn communities(&self) -> &Communities

Returns the communities structure.

pub fn create_ordering(&self) -> CommunityOrdering

Creates a community-aware variable ordering.

Trait Implementations

impl Clone for CommunityPartition

fn clone(&self) -> CommunityPartition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CommunityPartition

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

Formats the value using the given formatter.