Struct rustsat::instances::BasicVarManager

pub struct BasicVarManager { /* private fields */ }

Simple counter variable manager

Implementations

impl BasicVarManager

pub fn from_next_free(next_var: Var) -> BasicVarManager

Creates a new variable manager from a next free variable

Trait Implementations

impl Clone for BasicVarManager

fn clone(&self) -> BasicVarManager

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BasicVarManager

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

Formats the value using the given formatter.

impl Default for BasicVarManager

fn default() -> Self

Returns the “default value” for a type.

impl ManageVars for BasicVarManager

fn new_var(&mut self) -> Var

Uses up the next free variable

fn max_var(&self) -> Option<Var>

Gets the used variable with the highest index

fn increase_next_free(&mut self, v: Var) -> bool

Increases the next free variable index if the provided variable has a higher index than the next variable in the manager. Returns true if the next free index has been increased and false otherwise.

fn combine(&mut self, other: Self)

Combines two variable managers. In case an object is in both object maps, the one of other has precedence.

fn n_used(&self) -> u32

Gets the number of used variables. Typically this is just the index of the next free variable.

fn forget_from(&mut self, min_var: Var)

Forget variables >= min_var

fn mark_used(&mut self, v: Var) -> bool

Marks variables up to the given one as used. Returns true if the next free index has been increased and false otherwise.

impl PartialEq for BasicVarManager

fn eq(&self, other: &BasicVarManager) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for BasicVarManager

impl StructuralEq for BasicVarManager

impl StructuralPartialEq for BasicVarManager