Struct bytecode::global_invariant_analysis::PerBytecodeRelevance

pub struct PerBytecodeRelevance {
    pub insts: BTreeMap<Vec<Type>, BTreeSet<Vec<Type>>>,
}

A named struct for holding the information on how an invariant is relevant to a bytecode.

Fields

insts: BTreeMap<Vec<Type>, BTreeSet<Vec<Type>>>

for each inst_fun (instantiation of function type parameters) in the key set, the associated value is a set of inst_inv (instantiation of invariant type parameters) that are applicable to the concrete function instance F<inst_fun>.

Trait Implementations

impl Clone for PerBytecodeRelevance

fn clone(&self) -> PerBytecodeRelevance

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for PerBytecodeRelevance

fn default() -> PerBytecodeRelevance

Returns the “default value” for a type.