Struct Options 

pub struct Options {
    pub logical_depth: u32,
    pub recompute_depth: u32,
    pub refinements: usize,
}

The limits, all three of which exist because the thing they bound is otherwise unbounded.

Fields

logical_depth: u32

How deep into a condition the edge calculation looks, and how far back along the chain from a condition to a value the inversion walks.

GCC’s ranger-logical-depth, whose default at gcc/params.opt:998 is also six.

recompute_depth: u32

How many dominating edges one query walks before it stops narrowing.

GCC’s ranger-recompute-depth at gcc/params.opt:1003 bounds a related walk with the same default of five. The two are not the same walk, so the number is borrowed and the meaning is not.

refinements: usize

How many block-specific answers the cache keeps for one value.

Section 10.6’s one threshold. A query past it gets the range at the definition.

Trait Implementations

impl Clone for Options

fn clone(&self) -> Options

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Options

impl Debug for Options

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

Formats the value using the given formatter.

impl Default for Options

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Options

impl PartialEq for Options

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Options