pub trait SolverEvent:
Send
+ Sync
+ Debug {
// Required method
fn state(&self) -> &GoalState;
}Expand description
Base trait for solver events.
pub trait SolverEvent:
Send
+ Sync
+ Debug {
// Required method
fn state(&self) -> &GoalState;
}Base trait for solver events.