veripb-propagator 0.1.2

VeriPB library for a pseudo-Boolean propagation engine.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

use thiserror::Error;

#[derive(Debug, Error)]
pub enum PropagatorError {
    #[error("This constraint has already been attached to a propagator. The constraint needs to be detached before it can be attached again.")]
    AttachingAttached,

    #[error(
        "This constraint is not been attached. Hence it cannot be detached from a propagator."
    )]
    DetachingUnattached,

    #[error("This constraint has been attached to a different propagator.")]
    AttachedToOtherPropagator,

    #[error("No propagator for this type of constraint in the propagation set!")]
    TypeOfPropagatorNotInSet,

    #[error("The given solution is conflicting with constraint {0} in the database.")]
    SolutionConflictingWithConstraint(usize),

    #[error("The given solution is conflicting with on constraint on the saved trail. Use the option '--trace-failed' to see which constraints propagate which literals.")]
    SolutionConflictingWithSavedTrail,

    #[error("The trail already contains the negated literal")]
    TrailContainsNegatedLit,
}