Struct Trace

pub struct Trace<T> { /* private fields */ }

Data structure that represents a sequence of timed states

Implementations

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>>

pub fn begin_at_zero(&mut self)

Trait Implementations

impl<T> Clone for Trace<T>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Formula<Trace<HashMap<String, bool>>> for Proposition

type Error = TimedError

fn satisfied_by( &self, trace: &Trace<HashMap<String, bool>>, ) -> Result<bool, Self::Error>

Returns a boolean value indicating whether or not the value satisfies some criteria.

impl Formula<Trace<HashMap<String, f64>>> for Predicate

type Error = TimedError

fn satisfied_by( &self, trace: &Trace<HashMap<String, f64>>, ) -> Result<bool, Self::Error>

Returns a boolean value indicating whether or not the value satisfies some criteria.

impl<T, P> Formula<Trace<T>> for Always<P>

where P: Formula<Trace<T>>,

type Error = <P as Formula<Trace<T>>>::Error

fn satisfied_by(&self, trace: &Trace<T>) -> Result<bool, Self::Error>

Returns a boolean value indicating whether or not the value satisfies some criteria.

impl<T, P> Formula<Trace<T>> for Eventually<P>

where P: Formula<Trace<T>>,

type Error = <P as Formula<Trace<T>>>::Error

fn satisfied_by(&self, trace: &Trace<T>) -> Result<bool, Self::Error>

Returns a boolean value indicating whether or not the value satisfies some criteria.

impl<T, P> Formula<Trace<T>> for Next<P>

where P: Formula<Trace<T>>,

type Error = TimedOperatorError<<P as Formula<Trace<T>>>::Error>

fn satisfied_by(&self, trace: &Trace<T>) -> Result<bool, Self::Error>

Returns a boolean value indicating whether or not the value satisfies some criteria.

impl<T> FromIterator<(f64, T)> for Trace<T>

fn from_iter<I: IntoIterator<Item = (f64, T)>>(iter: I) -> Self

Creates a value from an iterator.

impl Metric<Trace<HashMap<String, f64>>> for Predicate

type Error = TimedError

fn distance( &self, trace: &Trace<HashMap<String, f64>>, ) -> Result<f64, Self::Error>

Returns a floating-point value that represents the “goodness” of the input with respect to some criteria

impl<T, P> Metric<Trace<T>> for Always<P>

where P: Metric<Trace<T>>,

type Error = <P as Metric<Trace<T>>>::Error

fn distance(&self, trace: &Trace<T>) -> Result<f64, Self::Error>

Returns a floating-point value that represents the “goodness” of the input with respect to some criteria

impl<T, P> Metric<Trace<T>> for Eventually<P>

where P: Metric<Trace<T>>,

type Error = <P as Metric<Trace<T>>>::Error

fn distance(&self, trace: &Trace<T>) -> Result<f64, Self::Error>

Returns a floating-point value that represents the “goodness” of the input with respect to some criteria

impl<T, P> Metric<Trace<T>> for Next<P>

where P: Metric<Trace<T>>,

type Error = TimedOperatorError<<P as Metric<Trace<T>>>::Error>

fn distance(&self, trace: &Trace<T>) -> Result<f64, Self::Error>

Returns a floating-point value that represents the “goodness” of the input with respect to some criteria