Trait InitCertDefaultBlock

pub trait InitCertDefaultBlock: InitCert<BlockClauseGen = fn(Assignment) -> Clause> {
    // Provided methods
    fn new_default_blocking_cert<Cls>(
        clauses: Cls,
        objs: Vec<Objective>,
        var_manager: VarManager,
        opts: KernelOptions,
        proof: Proof<Self::ProofWriter>,
    ) -> Result<Self>
       where Cls: IntoIterator<Item = (Clause, AbsConstraintId)> { ... }
    fn from_instance_default_blocking_cert(
        inst: Instance,
        opts: KernelOptions,
        proof: Proof<Self::ProofWriter>,
    ) -> Result<Self> { ... }
}

Provided Methods

fn new_default_blocking_cert<Cls>( clauses: Cls, objs: Vec<Objective>, var_manager: VarManager, opts: KernelOptions, proof: Proof<Self::ProofWriter>, ) -> Result<Self>

where Cls: IntoIterator<Item = (Clause, AbsConstraintId)>,

Initializes the algorithm with the default blocking clause generator

fn from_instance_default_blocking_cert( inst: Instance, opts: KernelOptions, proof: Proof<Self::ProofWriter>, ) -> Result<Self>

Initializes the algorithm using an Instance rather than iterators with the default blocking clause generator

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<Alg> InitCertDefaultBlock for Alg

where Alg: InitCert<BlockClauseGen = fn(Assignment) -> Clause>,