rustfst 1.3.0

Library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs).
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
66

use std::fmt::Display;

use anyhow::Result;
use serde::{Deserialize, Serialize};

use crate::algorithms::compose::StateReachable;
use crate::fst_traits::{MutableFst, SerializableFst};
use crate::semirings::SerializableSemiring;
use crate::tests_openfst::FstTestData;
use crate::StateId;

#[derive(Serialize, Deserialize, Debug, Clone)]
pub struct ReachabilityTestResult {
    state: StateId,
    final_state: StateId,
    reachable: bool,
    error: bool,
}

#[derive(Serialize, Deserialize, Debug, Clone)]
pub struct StateReachableOperationResult {
    result: Vec<ReachabilityTestResult>,
    error: bool,
}

pub struct StateReachableTestData {
    pub result: Vec<ReachabilityTestResult>,
    pub error: bool,
}

impl StateReachableOperationResult {
    pub fn parse(&self) -> StateReachableTestData {
        StateReachableTestData {
            result: self.result.clone(),
            error: self.error,
        }
    }
}

pub fn test_state_reachable<W, F>(test_data: &FstTestData<W, F>) -> Result<()>
where
    F: MutableFst<W> + Display + SerializableFst<W>,
    W: SerializableSemiring,
{
    let state_reachable_test_data = &test_data.state_reachable;
    let reachable = StateReachable::new(&test_data.raw);
    if state_reachable_test_data.error {
        assert!(reachable.is_err());
        return Ok(());
    }
    let reachable = reachable?;
    for reachability_test in &test_data.state_reachable.result {
        let res = reachable.reach(reachability_test.state, reachability_test.final_state);
        if reachability_test.error {
            assert!(res.is_err());
            continue;
        }
        let res = res?;
        assert_eq!(
            res, reachability_test.reachable,
            "State Reachable test failing : state = {} final_state = {}",
            reachability_test.state, reachability_test.final_state
        );
    }
    Ok(())
}