Struct Proposition

pub struct Proposition { /* private fields */ }

Implementations

impl Proposition

pub fn new(name: &str) -> Proposition

Trait Implementations

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

type Error = Error

fn satisfied_by( &self, value: &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, 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.