solverforge-solver 0.7.0

Solver engine for SolverForge
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// Exhaustive search phase configuration.

use super::exploration_type::ExplorationType;

// Configuration for exhaustive search phase.
#[derive(Debug, Clone)]
pub struct ExhaustiveSearchConfig {
    // The exploration type to use.
    pub exploration_type: ExplorationType,
    // Maximum number of nodes to explore (None = unlimited).
    pub node_limit: Option<u64>,
    // Maximum depth to explore (None = unlimited).
    pub depth_limit: Option<usize>,
    // Whether to enable pruning based on bounds.
    pub enable_pruning: bool,
}

impl Default for ExhaustiveSearchConfig {
    fn default() -> Self {
        Self {
            exploration_type: ExplorationType::DepthFirst,
            node_limit: Some(10_000),
            depth_limit: None,
            enable_pruning: true,
        }
    }
}