solverforge_solver/phase/exhaustive/config.rs
1use super::ExplorationType;
2
3#[derive(Debug, Clone)]
4pub struct ExhaustiveSearchConfig {
5 pub exploration_type: ExplorationType,
6 pub node_limit: Option<u64>,
7 pub depth_limit: Option<usize>,
8 pub enable_pruning: bool,
9}
10
11impl Default for ExhaustiveSearchConfig {
12 fn default() -> Self {
13 Self {
14 exploration_type: ExplorationType::default(),
15 node_limit: Some(10_000),
16 depth_limit: None,
17 enable_pruning: true,
18 }
19 }
20}