1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Options for BDD building

use super::dvo_schedules::DVOScheduleEnum;

#[derive(Default)]
pub struct Options {
    /// Display progress bars for BDD building and DVO progress
    pub progressbars: bool,
    /// DVO strategy: When and how to run DVO
    pub dvo: DVOScheduleEnum,
}

impl Options {
    pub fn with_progressbars(mut self) -> Options {
        self.progressbars = true;
        self
    }

    pub fn with_dvo(mut self, schedule: DVOScheduleEnum) -> Options {
        self.dvo = schedule;
        self
    }
}