Struct ParallelOptions 

pub struct ParallelOptions {
    pub algo: i8,
    pub cpu: i16,
    pub num_threads: i16,
    pub lock_free: bool,
    pub ssr_high_limit: i16,
    pub ssr_local_stack_limit: i16,
}

Configuration options for parallel VF3P execution.

Fields

algo: i8

Algorithm variant: 1 = GSS (Global State Stack), 2 = WLS (Work-stealing with Local Stack).

cpu: i16

Starting CPU for thread pinning (-1 disables pinning).

num_threads: i16

Number of worker threads (must be >= 1).

lock_free: bool

Use lock-free stack implementation.

ssr_high_limit: i16

Depth limit for forcing states into global stack (WLS only).

ssr_local_stack_limit: i16

Maximum size of thread-local stack (WLS only).

Trait Implementations

impl Clone for ParallelOptions

fn clone(&self) -> ParallelOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParallelOptions

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

Formats the value using the given formatter.

impl Default for ParallelOptions

fn default() -> Self

Returns the “default value” for a type.