Struct falcon::executor::State [−][src]
pub struct State { /* fields omitted */ }
A concrete State
.
Methods
impl State
[src]
impl State
pub fn new(memory: Memory) -> State
[src]
pub fn new(memory: Memory) -> State
Create a new State
from the given memory model.
pub fn memory(&self) -> &Memory
[src]
pub fn memory(&self) -> &Memory
Retrieve the Memory
associated with this State
.
pub fn memory_mut(&mut self) -> &mut Memory
[src]
pub fn memory_mut(&mut self) -> &mut Memory
Retrieve a mutable reference to the Memory
associated with this
State
.
pub fn set_scalar<S: Into<String>>(&mut self, name: S, value: Constant)
[src]
pub fn set_scalar<S: Into<String>>(&mut self, name: S, value: Constant)
Set the value of the given scalar to a concrete value.
pub fn get_scalar(&self, name: &str) -> Option<&Constant>
[src]
pub fn get_scalar(&self, name: &str) -> Option<&Constant>
Get the concrete value of the given scalar.
pub fn symbolize_expression(
&self,
expression: &Expression
) -> Result<Expression>
[src]
pub fn symbolize_expression(
&self,
expression: &Expression
) -> Result<Expression>
Symbolize an expression, replacing all scalars with the concrete values stored in this state.
pub fn symbolize_and_eval(&self, expression: &Expression) -> Result<Constant>
[src]
pub fn symbolize_and_eval(&self, expression: &Expression) -> Result<Constant>
Symbolize the given expression, replacing all scalars with the concrete values held in this state, and evaluate the expression to a single concrete value.
pub fn execute(self, operation: &Operation) -> Result<Successor>
[src]
pub fn execute(self, operation: &Operation) -> Result<Successor>
Execute an il::Operation
, returning the post-execution State
.
Trait Implementations
impl Debug for State
[src]
impl Debug for State
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Clone for State
[src]
impl Clone for State
fn clone(&self) -> State
[src]
fn clone(&self) -> State
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl Into<State> for Successor
[src]
impl Into<State> for Successor
Turn this Successor
into its State
, discarding the SuccessorType
.