scuttle_core

Trait ExtendedSolveStats

Source 
pub trait ExtendedSolveStats {
    // Required methods
    fn oracle_stats(&self) -> SolverStats;
    fn encoding_stats(&self) -> Vec<EncodingStats>;
}
Expand description

Trait for getting statistics from the solver

Required Methods§

Source

fn oracle_stats(&self) -> SolverStats

Gets statistics from the internal oracle

Source

fn encoding_stats(&self) -> Vec<EncodingStats>

Gets statistics from the objective encodings

Implementors§

Source§

impl<O, PBE, CE, ProofW, OInit, BCG> ExtendedSolveStats for BiOptSat<O, PBE, CE, ProofW, OInit, BCG>
where O: SolveStats, ProofW: Write, PBE: EncodeStats, CE: EncodeStats,

Source§

impl<O, PBE, CE, ProofW, OInit, BCG> ExtendedSolveStats for LowerBounding<O, PBE, CE, ProofW, OInit, BCG>
where O: SolveStats, ProofW: Write, PBE: EncodeStats, CE: EncodeStats,

Source§

impl<O, PBE, CE, ProofW, OInit, BCG> ExtendedSolveStats for PMinimal<O, PBE, CE, ProofW, OInit, BCG>
where O: SolveStats, ProofW: Write, PBE: EncodeStats, CE: EncodeStats,