Trait Assumable 

pub trait Assumable: Identifiable {
    // Required methods
    fn description(&self) -> DescriptionValue;
    fn assumption_tested(&self) -> bool;
    fn assumption_valid(&self) -> bool;
    fn verify_assumption(
        &self,
        data: &[PropagatingEffect<f64>],
    ) -> Result<bool, AssumptionError>;
}

The Assumable trait defines the interface for objects that represent assumptions that can be tested and verified. Assumable types must also implement Identifiable.

Trait Methods

• description - Returns a description of the assumption as a DescriptionValue
• assumption_fn - Returns the function that will evaluate the assumption as an EvalFn
• assumption_tested - Returns whether this assumption has been tested
• assumption_valid - Returns whether this assumption is valid
• verify_assumption - Tests the assumption against the provided data and returns whether it is valid

The AssumableReasoning trait provides default implementations for common operations over collections of Assumable types.

Required Methods

fn description(&self) -> DescriptionValue

fn assumption_tested(&self) -> bool

fn assumption_valid(&self) -> bool

fn verify_assumption( &self, data: &[PropagatingEffect<f64>], ) -> Result<bool, AssumptionError>

Implementors

impl Assumable for Assumption