russcip 0.10.0

Rust interface for SCIP
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

use crate::{Model, Retcode};

pub trait ScipParameter: Sized {
    fn set<T>(model: Model<T>, name: &str, value: Self) -> Result<Model<T>, Retcode>;
    fn get<T>(model: &Model<T>, name: &str) -> Self;
}

impl ScipParameter for f64 {
    fn set<T>(model: Model<T>, name: &str, value: f64) -> Result<Model<T>, Retcode> {
        let model = model.set_real_param(name, value)?;
        Ok(model)
    }

    fn get<T>(model: &Model<T>, name: &str) -> f64 {
        model.real_param(name)
    }
}

impl ScipParameter for i32 {
    fn set<T>(model: Model<T>, name: &str, value: i32) -> Result<Model<T>, Retcode> {
        let model = model.set_int_param(name, value)?;
        Ok(model)
    }

    fn get<T>(model: &Model<T>, name: &str) -> i32 {
        model.int_param(name)
    }
}

impl ScipParameter for bool {
    fn set<T>(model: Model<T>, name: &str, value: bool) -> Result<Model<T>, Retcode> {
        let model = model.set_bool_param(name, value)?;
        Ok(model)
    }

    fn get<T>(model: &Model<T>, name: &str) -> bool {
        model.bool_param(name)
    }
}

impl ScipParameter for i64 {
    fn set<T>(model: Model<T>, name: &str, value: i64) -> Result<Model<T>, Retcode> {
        let model = model.set_longint_param(name, value)?;
        Ok(model)
    }

    fn get<T>(model: &Model<T>, name: &str) -> i64 {
        model.longint_param(name)
    }
}

impl ScipParameter for String {
    fn set<T>(model: Model<T>, name: &str, value: String) -> Result<Model<T>, Retcode> {
        let model = model.set_str_param(name, &value)?;
        Ok(model)
    }

    fn get<T>(model: &Model<T>, name: &str) -> String {
        model.str_param(name)
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_bool() {
        let model = Model::default();
        let model = bool::set(model, "display/allviols", true).unwrap();
        assert!(model.param::<bool>("display/allviols"));
        let model = model.set_param("display/allviols", false);
        assert!(!bool::get(&model, "display/allviols"));
    }

    #[test]
    fn test_i64() {
        let model = Model::default();
        assert_eq!(
            model.param::<i64>("constraints/components/nodelimit"),
            10000i64
        );
        let model = model.set_param("constraints/components/nodelimit", 100i64);
        assert_eq!(
            model.param::<i64>("constraints/components/nodelimit"),
            100i64
        );
    }

    #[test]
    fn test_i32() {
        let model = Model::default();
        assert_eq!(model.param::<i32>("conflict/minmaxvars"), 0i32);
        let model = model.set_param("conflict/minmaxvars", 100i32);
        assert_eq!(model.param::<i32>("conflict/minmaxvars"), 100i32);
    }

    #[test]
    fn test_f64() {
        let model = Model::default();
        assert_eq!(model.param::<f64>("limits/time"), 1e+20);
        let model = model.set_param("limits/time", 100.0);
        assert_eq!(model.param::<f64>("limits/time"), 100.0);
    }

    #[test]
    fn test_str() {
        let model = Model::default();
        assert_eq!(model.param::<String>("visual/vbcfilename"), "-".to_string());
        let model = model.set_param("visual/vbcfilename", "test".to_string());
        assert_eq!(
            model.param::<String>("visual/vbcfilename"),
            "test".to_string()
        );
    }
}