Struct logic::operators::Eventually

pub struct Eventually<P> { /* private fields */ }

Implementations

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

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