Struct gf::ai::symbolic::SymbolicState

pub struct SymbolicState<'a> {
    pub inner: State<'a, FlatLattice<BitVec>, FlatLattice<Expr>, SymbolicSpaceState>,
    pub path_predicate: Formula,
}

🟢 Symbolic state.

Fields

inner: State<'a, FlatLattice<BitVec>, FlatLattice<Expr>, SymbolicSpaceState>

Variable and space state.

path_predicate: Formula

Path predicate.

Trait Implementations

impl<'a> Bottom for SymbolicState<'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 SymbolicState<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Top for SymbolicState<'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 ⊤.