Trait Formula

pub trait Formula<T> {
    type Error: Error;

    // Required method
    fn satisfied_by(&self, value: &T) -> Result<bool, Self::Error>;
}

Required Associated Types

type Error: Error

Required Methods

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

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

Implementations on Foreign Types

impl<T, F: Formula<T> + ?Sized> Formula<T> for &F

type Error = <F as Formula<T>>::Error

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

impl<T, F: Formula<T> + ?Sized> Formula<T> for Box<F>

type Error = <F as Formula<T>>::Error

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

impl<T, F: Formula<T> + ?Sized> Formula<T> for Rc<F>

type Error = <F as Formula<T>>::Error

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

impl<T, F: Formula<T> + ?Sized> Formula<T> for Arc<F>

type Error = <F as Formula<T>>::Error

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

Implementors

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

type Error = Error

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

type Error = Error

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

type Error = TimedError

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

type Error = TimedError

impl<T> Formula<T> for False

type Error = Error

impl<T> Formula<T> for True

type Error = Error

impl<T, A, C> Formula<T> for Implies<A, C>

where A: Formula<T>, C: Formula<T>,

type Error = BinaryError<<A as Formula<T>>::Error, <C as Formula<T>>::Error>

impl<T, L, R> Formula<T> for And<L, R>

where L: Formula<T>, R: Formula<T>,

type Error = BinaryError<<L as Formula<T>>::Error, <R as Formula<T>>::Error>

impl<T, L, R> Formula<T> for Or<L, R>

where L: Formula<T>, R: Formula<T>,

type Error = BinaryError<<L as Formula<T>>::Error, <R as Formula<T>>::Error>

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

where P: Formula<Trace<T>>,

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

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

where P: Formula<Trace<T>>,

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

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

where P: Formula<Trace<T>>,

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

impl<T, P> Formula<T> for Not<P>

where P: Formula<T>,

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