Trait rep::CustomCheckRep

pub trait CustomCheckRep {
    fn c_is_correct(&self) -> bool { ... }
    fn c_correctness(&self) -> Result<(), Vec<String>> { ... }
}

A trait for adding extra rep-checking functionality to a data structure with CheckRep implemented

Provided methods

fn c_is_correct(&self) -> bool

Returns true if representation is correct, false otherwise

fn c_correctness(&self) -> Result<(), Vec<String>>

Returns Ok if representation is correct, vector of errors otherwise

Loading content...

Implementors

Loading content...