Struct monster::engine::symbolic_state::SymbolicState [−][src]
pub struct SymbolicState<'a, S> where
S: Solver, { /* fields omitted */ }
Implementations
pub fn create_instruction(
&mut self,
instruction: Instruction,
lhs: SymbolicValue,
rhs: SymbolicValue
) -> SymbolicValue
[src]pub fn create_operator(
&mut self,
op: BVOperator,
lhs: SymbolicValue,
rhs: SymbolicValue
) -> SymbolicValue
[src]pub fn create_beq_path_condition(
&mut self,
decision: bool,
lhs: SymbolicValue,
rhs: SymbolicValue
)
[src]Trait Implementations
Auto Trait Implementations
impl<'a, S> RefUnwindSafe for SymbolicState<'a, S> where
S: RefUnwindSafe,
impl<'a, S> Send for SymbolicState<'a, S>
impl<'a, S> Sync for SymbolicState<'a, S>
impl<'a, S> Unpin for SymbolicState<'a, S>
impl<'a, S> UnwindSafe for SymbolicState<'a, S> where
S: RefUnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V