Skip to main content

CheckerRule

Trait CheckerRule 

Source
pub trait CheckerRule:
    Debug
    + Send
    + Sync
    + Any {
    // Required methods
    fn display(&self) -> Vec<Displayable>;
    fn as_box_dyn(&self) -> Box<dyn CheckerRule>;
    fn as_dyn(&self) -> &(dyn CheckerRule + 'static);
    fn as_any(&self) -> &(dyn Any + 'static);
    fn eq(&self, o: &(dyn CheckerRule + 'static)) -> bool;

    // Provided method
    fn priority(&self) -> isize { ... }
}

Required Methods§

Source

fn display(&self) -> Vec<Displayable>

Source

fn as_box_dyn(&self) -> Box<dyn CheckerRule>

Source

fn as_dyn(&self) -> &(dyn CheckerRule + 'static)

Source

fn as_any(&self) -> &(dyn Any + 'static)

Source

fn eq(&self, o: &(dyn CheckerRule + 'static)) -> bool

Provided Methods§

Source

fn priority(&self) -> isize

Implementors§

Source§

impl<T> CheckerRule for T
where T: SizedSolverRule,

Available on crate feature full only.