Trait CallType 

pub trait CallType {
    // Required methods
    fn num_calls(&self) -> i64;
    fn add_to(&self, reverser: &mut RandomReverser) -> Result<(), ReversalError>;
}

A high-level wrapper for adding lattice bounds.

Required Methods

fn num_calls(&self) -> i64

fn add_to(&self, reverser: &mut RandomReverser) -> Result<(), ReversalError>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl CallType for BooleanCallType

impl<T: Copy + Debug + PartialOrd + From<u8> + Rem<T, Output = T> + 'static> CallType for RangeCallType<T>