Struct gf::ai::concolic::ConcolicState

pub struct ConcolicState<'a> {
    pub concrete: ConcreteState<'a>,
    pub symbolic: SymbolicState<'a>,
}

🟢 Abstract state for ConcolicInterp.

Fields

concrete: ConcreteState<'a>

Concrete state.

symbolic: SymbolicState<'a>

Symbolic state.

Trait Implementations

impl<'a> Bottom for ConcolicState<'a>

fn bottom() -> Self

Return the bottom element, ⊥.

fn is_bottom(&self) -> bool

Test whether self is ⊥.

fn to_option(self) -> Option<Self>

Convert ⊥ to None and all other elements to Some.

fn reset_to_bottom(&mut self)

Reset self to ⊥.

impl<'a> Clone for ConcolicState<'a>

fn clone(&self) -> ConcolicState<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Top for ConcolicState<'a>

fn top() -> Self

Return the top element, ⊤.

fn is_top(&self) -> bool

Test whether self is ⊤.

fn reset_to_top(&mut self)

Reset self to ⊤.