Trait TermEvaluate 

pub trait TermEvaluate {
    // Required method
    fn evaluate<T: FnMut() -> bool, R: Rng>(
        &self,
        timeout_f: &mut T,
        rng: &mut R,
    ) -> Result<(i64, Vec<i64>), EvaluationErrors>;
}

Required Methods

fn evaluate<T: FnMut() -> bool, R: Rng>( &self, timeout_f: &mut T, rng: &mut R, ) -> Result<(i64, Vec<i64>), EvaluationErrors>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl TermEvaluate for Box<Term>

fn evaluate<T: FnMut() -> bool, R: Rng>( &self, timeout_f: &mut T, rng: &mut R, ) -> Result<(i64, Vec<i64>), EvaluationErrors>

Implementors

impl TermEvaluate for Term