Trait rep::CheckRep

pub trait CheckRep {
    fn is_correct(&self) -> bool { ... }
    fn correctness(&self) -> Result<(), Vec<String>> { ... }
    fn check_rep(&self) { ... }
}

A trait for representation checking

Provided methods

fn is_correct(&self) -> bool

Returns true if representation is correct, false otherwise

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

Returns Ok if representation is correct, vector of errors otherwise

fn check_rep(&self)

Asserts that self is correct

Loading content...

Implementors

Loading content...