Struct EnumerationConfig 

pub struct EnumerationConfig {
    pub max_models: Option<usize>,
    pub project_vars: Option<HashSet<Var>>,
    pub minimal_models: bool,
    pub maximal_models: bool,
    pub block_positive_only: bool,
}

Configuration for model enumeration

Fields

max_models: Option<usize>

Maximum number of models to find (None = find all)

project_vars: Option<HashSet<Var>>

Variables to project onto (None = all variables)

minimal_models: bool

Only find minimal models (minimum number of true literals)

maximal_models: bool

Only find maximal models (maximum number of true literals)

block_positive_only: bool

Block solutions with positive literals only (optimization)

Implementations

impl EnumerationConfig

pub fn all() -> Self

Create config to find all models

pub fn limited(max_models: usize) -> Self

Create config to find up to N models

pub fn projected(vars: HashSet<Var>) -> Self

Create config for projected enumeration

pub fn with_max_models(self, max: usize) -> Self

Set maximum number of models

pub fn with_projection(self, vars: HashSet<Var>) -> Self

Set projection variables

pub const fn minimal(self) -> Self

Enable minimal model enumeration

pub const fn maximal(self) -> Self

Enable maximal model enumeration

Trait Implementations

impl Clone for EnumerationConfig

fn clone(&self) -> EnumerationConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EnumerationConfig

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

Formats the value using the given formatter.

impl Default for EnumerationConfig

fn default() -> EnumerationConfig

Returns the “default value” for a type.