Struct AbstractState 

pub struct AbstractState {
    pub sign: SignDomain,
    pub depth: DepthDomain,
    pub size: SizeDomain,
}

Combined abstract state for expression analysis.

Fields

sign: SignDomain

Sign information.

depth: DepthDomain

Depth information.

size: SizeDomain

Size information.

Implementations

impl AbstractState

pub fn new() -> Self

Create an initial abstract state.

pub fn join(&self, other: &AbstractState) -> AbstractState

Join two abstract states component-wise.

Trait Implementations

impl Clone for AbstractState

fn clone(&self) -> AbstractState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractState

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

Formats the value using the given formatter.

impl Default for AbstractState

fn default() -> Self

Returns the “default value” for a type.