Struct ResidentPlan 

pub struct ResidentPlan {
    pub universe_size: u32,
    pub domain_size: u32,
    pub max_iters: u32,
    pub num_vars: usize,
    /* private fields */
}

Compiled, device-uploadable plan for the resident engine.

Fields

universe_size: u32

Number of possible grounded predicate slots per world.

domain_size: u32

Number of constants in the bounded grounding domain.

max_iters: u32

Maximum resident fixpoint iterations per world.

num_vars: usize

Number of independent Bernoulli variables sampled per world.

Trait Implementations

impl Clone for ResidentPlan

fn clone(&self) -> ResidentPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResidentPlan

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

Formats the value using the given formatter.