SolverEvent

Trait SolverEvent 

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

Base trait for solver events.

Required Methods§

Source

fn state(&self) -> &GoalState

Get the current state

Implementors§