use educe::Educe;

use schemars::JsonSchema;

use serde::Serialize;

use serde_with::skip_serializing_none;

use crate::settings::SolverFamily;

#[skip_serializing_none]

#[derive(Serialize, Clone, JsonSchema, Debug, Educe)]

#[educe(Default)]

#[serde(rename_all = "camelCase")]

#[allow(dead_code)]

// Statistics for a run of a solver.

pub struct SolverStats {

    #[serde(rename = "conjureSolverWallTime_s")]

    /// Wall time as measured by Conjure-Oxide (not the solver).

    pub conjure_solver_wall_time_s: f64,

    /// Solver time as measured by the solver itself

    /// This may be NaN if the solver or adaptor does not implement this statistic

    #[educe(Default = f64::NAN)]

    #[serde(rename = "solverTime_s")]

    pub solver_time_s: f64,

    // This is set by Solver, not SolverAdaptor

    /// The solver family used for this run.

    pub solver_family: Option<SolverFamily>,

    /// The solver adaptor used for this run.

    pub solver_adaptor: Option<String>,

    // NOTE (niklasdewally): these fields are copied from the list in Savile Row

    pub nodes: Option<u64>,

    pub satisfiable: Option<bool>,

    pub sat_vars: Option<u64>,

    pub sat_clauses: Option<u64>,

}

impl SolverStats {

    // Adds the conjure_solver_wall_time_s to the stats.

}