Enum clingo::PropagatorCheckMode
source · pub enum PropagatorCheckMode {
None = 0,
Total = 1,
Fixpoint = 2,
Both = 3,
}
Expand description
Supported check modes for propagators. Note that total checks are subject to the lock when a model is found. This means that information from previously found models can be used to discard assignments in check calls.
Variants§
None = 0
Do not call Propagator::check()
at all
Total = 1
Call Propagator::check()
on total assignments
Fixpoint = 2
Call Propagator::check()
on propagation fixpoints
Both = 3
Call Propagator::check()
on propagation fixpoints and total assignments
Trait Implementations§
source§impl Clone for PropagatorCheckMode
impl Clone for PropagatorCheckMode
source§fn clone(&self) -> PropagatorCheckMode
fn clone(&self) -> PropagatorCheckMode
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 PropagatorCheckMode
impl Debug for PropagatorCheckMode
impl Copy for PropagatorCheckMode
Auto Trait Implementations§
impl RefUnwindSafe for PropagatorCheckMode
impl Send for PropagatorCheckMode
impl Sync for PropagatorCheckMode
impl Unpin for PropagatorCheckMode
impl UnwindSafe for PropagatorCheckMode
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