Struct ResourceLimits 

pub struct ResourceLimits {
    pub timeout: Option<Duration>,
    pub max_conflicts: Option<u64>,
    pub max_memory_mb: Option<u64>,
    pub max_decisions: Option<u64>,
    pub max_restarts: Option<u64>,
    pub max_theory_checks: Option<u64>,
}

Configuration for resource limits on solver execution.

All limits are optional. When a limit is None, that resource is unlimited.

Fields

timeout: Option<Duration>

Wall-clock timeout duration

max_conflicts: Option<u64>

Maximum number of SAT conflicts before giving up

max_memory_mb: Option<u64>

Maximum memory in megabytes

max_decisions: Option<u64>

Maximum number of decisions before giving up

max_restarts: Option<u64>

Maximum number of restarts before giving up

max_theory_checks: Option<u64>

Maximum number of theory consistency checks

Implementations

impl ResourceLimits

pub fn new() -> Self

Create a new ResourceLimits with no limits set.

pub fn with_timeout(self, timeout: Duration) -> Self

Set a wall-clock timeout.

pub fn with_max_conflicts(self, max: u64) -> Self

Set the maximum number of SAT conflicts.

pub fn with_max_memory_mb(self, max: u64) -> Self

Set the maximum memory in megabytes.

pub fn with_max_decisions(self, max: u64) -> Self

Set the maximum number of decisions.

pub fn with_max_restarts(self, max: u64) -> Self

Set the maximum number of restarts.

pub fn with_max_theory_checks(self, max: u64) -> Self

Set the maximum number of theory checks.

pub fn has_any_limit(&self) -> bool

Check if any limits are set.

Trait Implementations

impl Clone for ResourceLimits

fn clone(&self) -> ResourceLimits

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResourceLimits

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

Formats the value using the given formatter.

impl Default for ResourceLimits

fn default() -> ResourceLimits

Returns the “default value” for a type.