quantized-pathfinding 0.1.1

Quantization before pathfinding
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

use std::{
    ops::{ Add, Sub, Mul, Div,},
    // convert
};

pub trait HasQuantizationMethods<T, const DIM: usize> {
    fn quantize_ieee754(&self, x: [T; DIM]) -> [usize; DIM];
    fn quantize(&self, x: [T; DIM]) -> [usize; DIM];
    fn dequantize(&self, n: [usize; DIM]) -> [T; DIM];
}

// Loosen float. Looser than IEEE 754 since it is to work with the quantizer
pub trait FiniteFloat:
    Copy + 
    Add<Output = Self> + 
    Sub<Output = Self> + 
    Mul<Output = Self> + 
    Div<Output = Self> 
{
    // conversion
    fn from_usize(n: usize) -> Self;
    fn to_usize(self) -> usize;

    // for quantization or similar operation
    fn round_ieee754 (self) -> usize;
    fn round(self) -> Self;
}

impl FiniteFloat for f32 {
    fn from_usize(n: usize) -> Self {
        n as f32
    }
    
    fn to_usize(self) -> usize {
        self as usize
    }
    
    // IEEE 754 style round
    fn round_ieee754 (self) -> usize {
        self as usize
    }

    fn round(self) -> Self {
        self.round()
    }
}

impl FiniteFloat for f64 {
    fn from_usize(n: usize) -> Self {
        n as f64
    }
    
    fn to_usize(self) -> usize {
        self as usize
    }

    // IEEE 754 style round
    fn round_ieee754 (self) -> usize {
        self as usize
    }
    
    fn round(self) -> Self {
        self.round()
    }
}