Struct SystemInfo 

pub struct SystemInfo(/* private fields */);

Information about the DDS library and how it was built

Returned by Solver::system_info. Exposes the version, hardware configuration (cores, threads, pointer width), and compile-time choices (OS, compiler, threading model) that DDS was built with.

Implementations

impl SystemInfo

pub const fn version(&self) -> Version

DDS version

pub const fn platform(&self) -> Platform

OS platform DDS was built for

pub const fn num_bits(&self) -> u32

Pointer size in bits (32 or 64)

pub const fn compiler(&self) -> Compiler

C++ compiler DDS was built with

pub const fn threading(&self) -> Threading

Threading model DDS was built with

Currently, dds_bridge_sys only supports Threading::STL for maximum compatibility, minimum code size, and competitive performance. Other variants may be activated in the future for specialized use cases or platforms.

pub const fn num_cores(&self) -> usize

Number of CPU cores detected by DDS

pub const fn num_threads(&self) -> usize

Number of threads configured in the DDS thread pool

pub const fn thread_sizes(&self) -> &str

Memory-size description for each thread slot

A string such as "0 S, 16 L" where L denotes a large transposition table and S a small one.

pub const fn system_string(&self) -> &str

Human-readable summary of the full DDS system configuration

Trait Implementations

impl Clone for SystemInfo

fn clone(&self) -> SystemInfo

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SystemInfo

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for SystemInfo

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for SystemInfo