Struct Solver 

pub struct Solver { /* private fields */ }

Owned handle to a DDS solver context

One Solver owns one DDS SolverContext (private solver state: thread-local memory, transposition table, search state) and is the upstream-recommended way to drive DDS in parallel: one Solver per OS thread, never shared.

The handle is Send (work-stealing pools may move it between threads as long as no two threads access it at once) but not Sync — upstream forbids concurrent access from multiple threads to a single context.

The transposition table is preserved across calls on the same Solver, so reusing one over a batch of related queries amortizes setup cost. For batches of unrelated queries the free helpers solve_deals and solve_boards hand the whole batch to a per-worker-context pool inside dds-bridge-sys.

Drop calls dds_solver_context_free.

Implementations

impl Solver

pub fn new(config: SolverConfig) -> Self

Construct a new solver with the given configuration

Panics

If the C++ allocator returns a null pointer.

pub fn solve_deal(&mut self, deal: FullDeal) -> TrickCountTable

Solve a single deal for all strains and all declarers

Resets internal search state before solving so the result does not depend on previous solves on this Solver (the transposition table is preserved across calls).

Panics

Not expected — panics here are bugs. See the module-level panic policy.

Examples

use contract_bridge::{FullDeal, Seat, Strain};
use dds_bridge::Solver;

// Each player holds a 13-card straight flush in one suit.
let deal: FullDeal = "N:AKQJT98765432... .AKQJT98765432.. \
                      ..AKQJT98765432. ...AKQJT98765432".parse()?;
let mut solver = Solver::default();
let tricks = solver.solve_deal(deal);
// North holds all the spades, so North or South declaring spades
// draws trumps and takes every trick.
assert_eq!(u8::from(tricks[Strain::Spades].get(Seat::North)), 13);

pub fn solve_board(&mut self, objective: &Objective) -> FoundPlays

Solve a single board against an Objective

Resets internal search state before solving so the result does not depend on previous solves on this Solver (the transposition table is preserved across calls).

Panics

Not expected — panics here are bugs. See the module-level panic policy.

Trait Implementations

impl Default for Solver

fn default() -> Self

Construct a new solver with the SolverConfig::default configuration.

impl Drop for Solver

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl Send for Solver