pumpkin_core/engine/termination/
indefinite.rs

1use super::TerminationCondition;
2
3/// A [`TerminationCondition`] which never triggers. The solver can search forever.
4#[derive(Clone, Copy, Debug)]
5pub struct Indefinite;
6
7impl TerminationCondition for Indefinite {
8    fn should_stop(&mut self) -> bool {
9        false
10    }
11}