pub struct Trace<T> { /* private fields */ }
Expand description
Data structure that represents a sequence of timed states
Implementations
sourceimpl<T> Trace<T>
impl<T> Trace<T>
pub fn len(&self) -> usize
pub fn is_empty(&self) -> bool
pub fn iter(&self) -> Iter<'_, T>
pub fn times(&self) -> Times<'_>
pub fn into_subtraces(self) -> Subtraces<T>
pub fn split_at(&mut self, time: f64) -> Option<Trace<T>>
pub fn retain_between(&mut self, lower: f64, upper: f64)
pub fn first_state(&self) -> Option<TimedState<'_, T>>
Trait Implementations
sourceimpl Formula<Trace<HashMap<String, bool, RandomState>>> for Proposition
impl Formula<Trace<HashMap<String, bool, RandomState>>> for Proposition
Auto Trait Implementations
impl<T> RefUnwindSafe for Trace<T> where
T: RefUnwindSafe,
impl<T> !Send for Trace<T>
impl<T> !Sync for Trace<T>
impl<T> Unpin for Trace<T>
impl<T> UnwindSafe for Trace<T> where
T: RefUnwindSafe,
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
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more