logicng 0.1.0-alpha.3

A Library for Creating, Manipulating, and Solving Boolean Formulas
Documentation 
1
2
3
4
5
6
7
8
9
10
11

/// Basic handler trait which can be used to control computations.
pub trait ComputationHandler {
    /// Initial call to start this handler.
    fn started(&mut self) {}

    /// Returns `true` if this handler is aborted. Usually, this means that the
    /// calculation will also abort.
    fn aborted(&self) -> bool {
        false
    }
}