btor 0.2.2

Rust library for parsing and deparsing BTOR files
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

#![feature(formatting_options)]

mod deparse;
mod parse;

use deparse::Deparser;
use giputils::hash::GHashMap;
use logicrs::fol::Term;
use parse::Parser;
use std::{fmt::Display, path::Path};

#[derive(Debug, Clone)]
pub struct Btor {
    pub input: Vec<Term>,
    pub latch: Vec<Term>,
    pub init: GHashMap<Term, Term>,
    pub next: GHashMap<Term, Term>,
    pub bad: Vec<Term>,
    pub constraint: Vec<Term>,
    pub symbols: GHashMap<Term, String>,
}

impl Btor {
    pub fn from_file<P: AsRef<Path>>(path: P) -> Self {
        let content = std::fs::read_to_string(path).unwrap();
        let parser = Parser::default();
        parser.parse(&content)
    }

    pub fn to_file<P: AsRef<Path>>(&self, path: P) {
        let mut deparser = Deparser::new();
        let c = deparser.deparse(self);
        std::fs::write(path, c).unwrap();
    }
}

impl Display for Btor {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        let mut deparser = Deparser::new();
        f.write_str(&deparser.deparse(self))
    }
}