Struct Predicate

pub struct Predicate { /* private fields */ }

Implementations

impl Predicate

pub fn new(coefficient_map: HashMap<String, f64>, bound: Bound) -> Predicate

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

type Error = Error

fn satisfied_by( &self, value_map: &HashMap<String, f64>, ) -> 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 Metric<HashMap<String, f64>> for Predicate

type Error = Error

fn distance(&self, value_map: &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 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