rustfst 0.5.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

use crate::fst_properties::FstProperties;

/// Both bits are set iff one bit is set.
pub fn known_properties(props: FstProperties) -> FstProperties {
    props
        | ((props & FstProperties::POS_PROPERTIES) << 1)
        | ((props & FstProperties::NEG_PROPERTIES) >> 1)
}

/// Tests compatibility between two sets of properties.
pub fn compat_properties(props1: FstProperties, props2: FstProperties) -> bool {
    let known_props1 = known_properties(props1);
    let known_props2 = known_properties(props2);
    let known_props = known_props1 & known_props2;
    let incompat_props = (props1 & known_props) ^ (props2 & known_props);
    incompat_props.is_empty()
}

#[cfg(test)]
mod test {
    use super::*;
    use failure::Fallible;

    #[test]
    fn test_known_properties() -> Fallible<()> {
        let props = FstProperties::ACCEPTOR | FstProperties::ACCESSIBLE;
        let ref_known_props = FstProperties::ACCEPTOR
            | FstProperties::NOT_ACCEPTOR
            | FstProperties::ACCESSIBLE
            | FstProperties::NOT_ACCESSIBLE;

        let known_props = known_properties(props);

        assert_eq!(ref_known_props, known_props);

        Ok(())
    }
}