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
use std::fmt::{Display, Error, Formatter};
use crate::uid::{DBI, GI, UID};
#[derive(Debug, Clone, Copy, Ord, PartialOrd, Eq, PartialEq, Hash)]
pub enum Axiom {
Postulated(UID),
Generated(UID, DBI),
Unimplemented(UID, GI),
Implicit(UID),
}
impl Axiom {
pub fn unique_id(&self) -> UID {
use Axiom::*;
match self {
Postulated(uid) | Generated(uid, ..) | Unimplemented(uid, ..) | Implicit(uid, ..) => {
*uid
}
}
}
}
impl Display for Axiom {
fn fmt(&self, f: &mut Formatter) -> Result<(), Error> {
use Axiom::*;
match self {
Postulated(uid) => write!(f, "<{}>", uid),
Generated(uid, dbi) => write!(f, "<{} {}>", uid, dbi),
Unimplemented(uid, dbi) => write!(f, "[|{} {}|]", uid, dbi),
Implicit(uid) => write!(f, "{{{}}}", uid),
}
}
}