Struct TimeLimit 

pub struct TimeLimit {
    pub seconds: u32,
    pub is_cpu_time: bool,
}

Time limit specification: a number of seconds and whether to measure CPU time (-cpulimit) or wall-clock time (-timelimit).

Both are armed process-wide, not per-solve: minion uses alarm() or setrlimit(RLIMIT_CPU) together with a process-static trigger pointer (system/trigger_timer.cpp), so concurrent solves in one process overwrite each other’s timers. is_cpu_time additionally sets a hard RLIMIT_CPU of seconds + 5 on the calling process, which will kill it outright — one solve per process is the only safe use.

Fields

seconds: u32

is_cpu_time: bool

Trait Implementations

impl Clone for TimeLimit

fn clone(&self) -> TimeLimit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TimeLimit

impl Debug for TimeLimit

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

Formats the value using the given formatter.

impl Eq for TimeLimit

impl PartialEq for TimeLimit

fn eq(&self, other: &TimeLimit) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for TimeLimit

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes