Enum splr::solver::SolverEvent
source · pub enum SolverEvent {
Assert(VarId),
Conflict,
Eliminate(VarId),
Instantiate,
NewVar,
Reinitialize,
Restart,
Stage(usize),
Vivify(bool),
}
Expand description
define sub-modules’ responsibilities
Variants§
Assert(VarId)
asserting a var.
Conflict
conflict by unit propagation.
Eliminate(VarId)
eliminating a var.
Instantiate
Not in use
NewVar
increment the number of vars.
Reinitialize
re-initialization for incremental solving.
Restart
restart
Stage(usize)
start a new stage of Luby stabilization. It holds new scale.
Vivify(bool)
Vivification: true
for start, false
for end.
Trait Implementations§
source§impl Clone for SolverEvent
impl Clone for SolverEvent
source§fn clone(&self) -> SolverEvent
fn clone(&self) -> SolverEvent
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for SolverEvent
impl Debug for SolverEvent
source§impl PartialEq for SolverEvent
impl PartialEq for SolverEvent
source§fn eq(&self, other: &SolverEvent) -> bool
fn eq(&self, other: &SolverEvent) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Copy for SolverEvent
impl Eq for SolverEvent
impl StructuralPartialEq for SolverEvent
Auto Trait Implementations§
impl RefUnwindSafe for SolverEvent
impl Send for SolverEvent
impl Sync for SolverEvent
impl Unpin for SolverEvent
impl UnwindSafe for SolverEvent
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more