liberty-db 0.4.6

`liberty` data structre
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

use super::{logic, BooleanExpression, BooleanExpressionLike};
use crate::types::*;
use std::{collections::HashMap, fmt};

#[derive(Clone, Debug, Hash, PartialEq, Eq)]
#[derive(Ord)]
#[derive(PartialOrd)]
pub struct Port {
  name: String,
}
impl Port {
  #[inline]
  pub fn new(name: &str) -> Self {
    Self { name: name.to_string() }
  }
}

// impl Into<BooleanExpression> for Port{
//     #[inline]
//     fn into(self) -> BooleanExpression {
//         BooleanExpression{
//             value: Box::new(self)
//         }
//     }
// }

impl fmt::Display for Port {
  #[inline]
  fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
    write!(f, "{}", self.name)
  }
}

lazy_static! {
  static ref BASIC_MAP: HashMap<logic::Vector, logic::State> = logic::State::iter()
    .map(|state| (vec![state].into(), state))
    .collect();
  static ref ONE_MAP: HashMap<logic::Vector, logic::State> = logic::State::iter()
    .map(|state| (vec![state].into(), logic::State::Level(logic::Level::High)))
    .collect();
  static ref ZERO_MAP: HashMap<logic::Vector, logic::State> = logic::State::iter()
    .map(|state| (vec![state].into(), logic::State::Level(logic::Level::Low)))
    .collect();
}

impl BooleanExpressionLike for Port {
  #[inline]
  fn table(&self) -> logic::Table {
    logic::Table::new(&self.name, BASIC_MAP.clone(), vec![self.clone()])
  }
}