scuttle_core::algs

Trait CoreBoost

Source 
pub trait CoreBoost {
    // Required method
    fn core_boost(
        &mut self,
        opts: CoreBoostingOptions,
    ) -> MaybeTerminatedError<bool>;
}
Expand description

Core boosting interface

Required Methods§

Source

fn core_boost( &mut self, opts: CoreBoostingOptions, ) -> MaybeTerminatedError<bool>

Performs core boosting. Returns false if instance is unsat.

Implementors§

Source§

impl<'learn, 'term, PBE, CE, ProofW, OInit, BCG> CoreBoost for BiOptSat<CaDiCaL<'learn, 'term>, PBE, CE, ProofW, OInit, BCG>
where ProofW: Write + 'static, (PBE, CE): MergeOllRef<PBE = PBE, CE = CE>, OInit: Initialize<CaDiCaL<'learn, 'term>>,

Source§

impl<'learn, 'term, PBE, CE, ProofW, OInit, BCG> CoreBoost for LowerBounding<CaDiCaL<'learn, 'term>, PBE, CE, ProofW, OInit, BCG>
where ProofW: Write + 'static, (PBE, CE): MergeOllRef<PBE = PBE, CE = CE>, OInit: Initialize<CaDiCaL<'learn, 'term>>,

Source§

impl<'learn, 'term, PBE, CE, ProofW, OInit, BCG> CoreBoost for PMinimal<CaDiCaL<'learn, 'term>, PBE, CE, ProofW, OInit, BCG>
where ProofW: Write + 'static, (PBE, CE): MergeOllRef<PBE = PBE, CE = CE>, OInit: Initialize<CaDiCaL<'learn, 'term>>,