rustsat::solvers

Trait FreezeVar

Source 
pub trait FreezeVar {
    // Required methods
    fn freeze_var(&mut self, var: Var) -> Result<()>;
    fn melt_var(&mut self, var: Var) -> Result<()>;
    fn is_frozen(&mut self, var: Var) -> Result<bool>;
}
Expand description

Trait for freezing and melting variables in solvers with pre-/inprocessing.

Required Methods§

Source

fn freeze_var(&mut self, var: Var) -> Result<()>

Freezes a variable so that it is not removed in pre-/inprocessing

§Errors

A solver may return any error.

Source

fn melt_var(&mut self, var: Var) -> Result<()>

Melts a variable after it had been frozen

§Errors

A solver may return any error.

Source

fn is_frozen(&mut self, var: Var) -> Result<bool>

Checks if a variable is frozen

§Errors

A solver may return any error.

Implementors§