Struct GpuCircuitCacheConfig 

#[non_exhaustive]
pub struct GpuCircuitCacheConfig {
    pub num_slots: u32,
    pub table_size: u32,
    pub node_cap: u32,
    pub edge_cap: u32,
    pub level_cap: u32,
    pub var_cap: u32,
}

Configuration for the GPU-resident circuit cache.

Controls the number of cached XGCF circuit slots and the per-slot capacity limits for nodes, edges, levels, and variables. Production callers should use [crate::exact::default_cache_config] which sizes caps from the CNF and compile config.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

num_slots: u32

Number of circuit slots kept resident on the GPU.

table_size: u32

Hash table size for the circuit lookup (should be >= 2 * num_slots).

node_cap: u32

Maximum nodes per cached circuit.

edge_cap: u32

Maximum edges per cached circuit.

level_cap: u32

Maximum levels (BFS depth) per cached circuit.

var_cap: u32

Maximum CNF variable id (1-based, DIMACS) across all cached circuits.

Trait Implementations

impl Clone for GpuCircuitCacheConfig

fn clone(&self) -> GpuCircuitCacheConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuCircuitCacheConfig

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

Formats the value using the given formatter.

impl Default for GpuCircuitCacheConfig

fn default() -> Self

Conservative defaults for small CNFs (< 64 variables).

Production callers should derive caps from the actual CNF dimensions.

impl Copy for GpuCircuitCacheConfig