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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

use std::fmt::Display;

use essential_types::solution::Solution;
use serde::{Deserialize, Serialize};

/// Reasons why a solution failed.
#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize)]
pub enum SolutionFailReason {
    /// Constraint check failed.
    ConstraintsFailed(String),
    /// Not composable with other solutions to build a batch.
    NotComposable,
}

/// A failed solution.
#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct FailedSolution {
    /// The failed solution.
    pub solution: Solution,
    /// Reason why the solution failed.
    pub reason: SolutionFailReason,
}

#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
/// Outcome of a solution check.
pub enum CheckOutcome {
    /// The solution was successful in this block.
    Success(u64),
    /// The solution failed.
    Fail(SolutionFailReason),
}
/// A solution with its outcome.
#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct SolutionOutcomes {
    /// The solution.
    pub solution: Solution,
    /// The outcomes of the solution.
    pub outcome: Vec<CheckOutcome>,
}

impl Display for SolutionFailReason {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            SolutionFailReason::ConstraintsFailed(reason) => {
                write!(f, "ConstraintsFailed: {}", reason)
            }
            SolutionFailReason::NotComposable => write!(f, "NotComposable"),
        }
    }
}