pub trait FixedAssignmentListener {
// Required method
fn notify_fixed_assignment(&mut self, lit: i32);
}Expand description
Connected listener gets notified whenever the truth value of a variable is fixed (for example during inprocessing or due to some derived unit clauses).