Struct logic::operators::Eventually
source · [−]pub struct Eventually<P> { /* private fields */ }
Implementations
sourceimpl<P> Eventually<P>
impl<P> Eventually<P>
pub fn new(phi: P) -> Eventually<P>
pub fn new_bounded<B: Into<Bounds>>(bounds: B, phi: P) -> Self
Trait Implementations
Auto Trait Implementations
impl<P> RefUnwindSafe for Eventually<P> where
P: RefUnwindSafe,
impl<P> Send for Eventually<P> where
P: Send,
impl<P> Sync for Eventually<P> where
P: Sync,
impl<P> Unpin for Eventually<P> where
P: Unpin,
impl<P> UnwindSafe for Eventually<P> where
P: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more