Trait KernelFunctions

pub trait KernelFunctions {
    // Required methods
    fn pareto_front(&self) -> ParetoFront;
    fn stats(&self) -> Stats;
    fn attach_logger<L: WriteSolverLog + 'static>(&mut self, logger: L);
    fn detach_logger(&mut self) -> Option<Box<dyn WriteSolverLog>>;
    fn interrupter(&mut self) -> Interrupter;
}

Shared functionality provided by the [Kernel]

Required Methods

fn pareto_front(&self) -> ParetoFront

Gets the Pareto front discovered so far

fn stats(&self) -> Stats

Gets tracked statistics from the solver

fn attach_logger<L: WriteSolverLog + 'static>(&mut self, logger: L)

Attaches a logger to the solver

fn detach_logger(&mut self) -> Option<Box<dyn WriteSolverLog>>

Detaches a logger from the solver

fn interrupter(&mut self) -> Interrupter

Gets an iterrupter to the solver

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<O, PBE, CE, ProofW, OInit, BCG> KernelFunctions for BiOptSat<O, PBE, CE, ProofW, OInit, BCG>

where ProofW: Write + Write, O: Interrupt,

impl<O, PBE, CE, ProofW, OInit, BCG> KernelFunctions for LowerBounding<O, PBE, CE, ProofW, OInit, BCG>

where ProofW: Write + Write, O: Interrupt,

impl<O, PBE, CE, ProofW, OInit, BCG> KernelFunctions for PMinimal<O, PBE, CE, ProofW, OInit, BCG>

where ProofW: Write + Write, O: Interrupt,