ascent_base 0.8.1

support library for the ascent package
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

use std::fmt::{Debug, Formatter};

use crate::Lattice;

#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct OrdLattice<T>(pub T);

impl<T: Debug> Debug for OrdLattice<T> {
   fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result { self.0.fmt(f) }
}

impl<T: Ord> Lattice for OrdLattice<T> {
   #[inline(always)]
   fn meet(self, other: Self) -> Self { self.min(other) }

   #[inline(always)]
   fn join(self, other: Self) -> Self { self.max(other) }

   fn meet_mut(&mut self, other: Self) -> bool {
      if self.0 > other.0 {
         self.0 = other.0;
         true
      } else {
         false
      }
   }
   fn join_mut(&mut self, other: Self) -> bool {
      if self.0 < other.0 {
         self.0 = other.0;
         true
      } else {
         false
      }
   }
}

#[test]
fn test_ord_lattice() {
   assert_eq!(OrdLattice(42).meet(OrdLattice(22)), OrdLattice(22));

   let mut x = OrdLattice(42);
   assert!(!x.join_mut(OrdLattice(42)));
   assert_eq!(x.0, 42);
   assert!(!x.meet_mut(OrdLattice(42)));
   assert_eq!(x.0, 42);
}