Struct Model

pub struct Model<V> { /* private fields */ }

The of successfully solving an encoded problem.

Implementations

impl<V: SatVar> Model<V>

pub fn vars(&self) -> impl Iterator<Item = Lit<V>> + Clone + '_

Returns an interator over assigned literals of user defined SAT variables.

pub fn all_vars(&self) -> impl Iterator<Item = VarType<V>> + Clone + '_

Returns an interator over all defined variables. This includes unnamed variables used by various constraints.

pub fn var(&self, v: V) -> Option<bool>

Returns the assignment of a variable. Returns None if v was never used.

pub fn lit(&self, lit: Lit<V>) -> Option<bool>

Returns the assignment of a literal. Returns None if lit was never used.

Trait Implementations

impl<V: Clone> Clone for Model<V>

fn clone(&self) -> Model<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: SatVar + Ord> Debug for Model<V>

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

Formats the value using the given formatter.

impl<V, L> Index<L> for Model<V>

where V: SatVar, L: Into<VarType<V>> + Debug + Clone,

type Output = bool

The returned type after indexing.

fn index(&self, l: L) -> &Self::Output

Performs the indexing (container[index]) operation.