yices2 0.1.4

Rust bindings to the Yices 2 SMT solver
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

use crate::sys::{yval_t, yval_tag};

pub struct Value {
    pub(crate) value: yval_t,
}

impl Default for Value {
    fn default() -> Self {
        Self {
            value: yval_t {
                node_id: 0,
                node_tag: yval_tag::YVAL_UNKNOWN,
            },
        }
    }
}

impl From<yval_t> for Value {
    fn from(value: yval_t) -> Self {
        Self { value }
    }
}

impl From<&yval_t> for Value {
    fn from(value: &yval_t) -> Self {
        Self {
            value: yval_t {
                node_id: value.node_id,
                node_tag: value.node_tag,
            },
        }
    }
}