Struct raptor::analysis::strided_intervals::State

pub struct State { /* fields omitted */ }

Methods

impl State

pub fn new() -> State

pub fn variable(&self, variable: &Variable) -> Option<&StridedInterval>

pub fn variables(&self) -> &HashMap<Variable, StridedInterval>

pub fn set(&mut self, variable: Variable, strided_interval: StridedInterval)

pub fn eval(&self, e: &Expression<StridedInterval>) -> Result<StridedInterval>

pub fn join(self, other: &State) -> Result<State>

pub fn top(&mut self)

Trait Implementations

impl Clone for State

fn clone(&self) -> State

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for State

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

Formats the value using the given formatter.

impl Eq for State

impl PartialEq<State> for State

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl PartialOrd<State> for State

fn partial_cmp(&self, other: &State) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use] fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use] fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use] fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use] fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralEq for State

impl StructuralPartialEq for State