Struct falcon::executor::State
[−]
[src]
pub struct State<'e> { /* fields omitted */ }
A concrete State
.
Methods
impl<'e> State<'e>
[src]
fn new(memory: Memory<'e>) -> State<'e>
[src]
Create a new State
from the given memory model.
fn memory(&self) -> &Memory
[src]
Retrieve the Memory
associated with this State
.
fn memory_mut(&'e mut self) -> &'e mut Memory
[src]
Retrieve a mutable reference to the Memory
associated with this
State
.
fn set_scalar<S: Into<String>>(&mut self, name: S, value: Constant)
[src]
Set the value of the given scalar to a concrete value.
fn get_scalar(&self, name: &str) -> Option<&Constant>
[src]
Get the concrete value of the given scalar.
fn symbolize_expression(&self, expression: &Expression) -> Result<Expression>
[src]
Symbolize an expression, replacing all scalars with the concrete values stored in this state.
fn symbolize_and_eval(&self, expression: &Expression) -> Result<Constant>
[src]
Symbolize the given expression, replacing all scalars with the concrete values held in this state, and evaluate the expression to a single concrete value.
fn execute(self, operation: &Operation) -> Result<Successor<'e>>
[src]
Execute an il::Operation
, returning the post-execution State
.