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;
fn as_any(&self) -> &dyn Any;
fn eq(&self, o: &dyn CheckerRule) -> 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
fn as_any(&self) -> &dyn Any
fn eq(&self, o: &dyn CheckerRule) -> bool
Provided Methods§
Implementors§
impl<T: SizedSolverRule> CheckerRule for T
Available on crate feature
full only.