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§
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 Methods§
Implementors§
impl<T> CheckerRule for Twhere
T: SizedSolverRule,
Available on crate feature
full only.