Enum clingo::PropagatorCheckMode

pub enum PropagatorCheckMode {
    None,
    Total,
    Fixpoint,
}

Supported check modes for propagators.

Variants

None

Do not call Propagator::check() at all

Total

Call Propagator::check() on total assignment

Fixpoint

Call Propagator::check() on propagation fixpoints

Trait Implementations

impl Debug for PropagatorCheckMode

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for PropagatorCheckMode

impl Clone for PropagatorCheckMode

fn clone(&self) -> PropagatorCheckMode

Returns a copy of the value.

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

Performs copy-assignment from source.