Struct ConcretizationFunction 

pub struct ConcretizationFunction { /* private fields */ }

The concretization function: set of integers represented by an abstract value.

Implementations

impl ConcretizationFunction

pub fn new() -> Self

Create from the standard interval Galois connection.

pub fn apply(&self, a: &IntervalDomain) -> Option<Vec<i64>>

Compute γ(a): all concrete integers represented (None if infinite).

Trait Implementations

impl Default for ConcretizationFunction

fn default() -> Self

Returns the “default value” for a type.