Enum Limit 

pub enum Limit {
    Terminate(c_int),
    Conflicts(c_int),
    Decisions(c_int),
    Preprocessing(c_int),
    LocalSearch(c_int),
}

Possible CaDiCaL limits

Variants

Terminate(c_int)

The number of calls to InterruptSolver::interrupt() before CaDiCaL terminates

Conflicts(c_int)

A limit on the number of conflicts

Decisions(c_int)

A limit on the number of decisions

Preprocessing(c_int)

A limit on the rounds of internal preprocessing

LocalSearch(c_int)

A limit on the internal local search

Trait Implementations

impl Clone for Limit

fn clone(&self) -> Limit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Limit

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

Formats the value using the given formatter.

impl Display for Limit

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

Formats the value using the given formatter.

impl From<&Limit> for (&'static CStr, c_int)

fn from(val: &Limit) -> Self

Converts to this type from the input type.

impl From<Limit> for (&'static CStr, c_int)

fn from(val: Limit) -> Self

Converts to this type from the input type.

impl Copy for Limit