pub struct State<T> {
pub storage: Option<T>,
pub val: T,
}Fields§
§storage: Option<T>§val: TImplementations§
source§impl<T> State<T>
impl<T> State<T>
pub fn initialize_one(post: Self, t: T) -> bool
pub fn initialize_one_enabled(t: T) -> bool
pub fn borrow_asserts(pre: State<T>)
pub fn next_by(pre: State<T>, post: State<T>, step: Step<T>) -> bool
pub fn next(pre: State<T>, post: State<T>) -> bool
pub fn next_strong_by(pre: State<T>, post: State<T>, step: Step<T>) -> bool
pub fn next_strong(pre: State<T>, post: State<T>) -> bool
pub fn init_by(post: State<T>, step: Config<T>) -> bool
pub fn init(post: State<T>) -> bool
pub fn invariant(&self) -> bool
Auto Trait Implementations§
impl<T> Freeze for State<T>where
T: Freeze,
impl<T> RefUnwindSafe for State<T>where
T: RefUnwindSafe,
impl<T> Send for State<T>where
T: Send,
impl<T> Sync for State<T>where
T: Sync,
impl<T> Unpin for State<T>where
T: Unpin,
impl<T> UnwindSafe for State<T>where
T: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more