Trait logic::Formula

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

    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, RandomState>> for Proposition

type Error = Error

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

type Error = Error

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

type Error = TimedError

impl Formula<Trace<HashMap<String, f64, RandomState>>> 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