Struct rustfst::algorithms::compose::ComposeFst

pub struct ComposeFst<W: Semiring, CFB: ComposeFilterBuilder<W>, Cache = SimpleHashMapCache<W>>(_);

Implementations

impl<W: Semiring, CFB: ComposeFilterBuilder<W>, Cache: FstCache<W>> ComposeFst<W, CFB, Cache>

pub fn new_with_options(
    fst1: Arc<<<CFB::CF as ComposeFilter<W>>::M1 as Matcher<W>>::F>,
    fst2: Arc<<<CFB::CF as ComposeFilter<W>>::M2 as Matcher<W>>::F>,
    opts: ComposeFstOpOptions<CFB::M1, CFB::M2, CFB, StateTable<ComposeStateTuple<<CFB::CF as ComposeFilter<W>>::FS>>>
) -> Result<Self> where
    Cache: Default, 

pub fn new_with_options_and_cache(
    fst1: Arc<<<CFB::CF as ComposeFilter<W>>::M1 as Matcher<W>>::F>,
    fst2: Arc<<<CFB::CF as ComposeFilter<W>>::M2 as Matcher<W>>::F>,
    opts: ComposeFstOpOptions<CFB::M1, CFB::M2, CFB, StateTable<ComposeStateTuple<<CFB::CF as ComposeFilter<W>>::FS>>>,
    fst_cache: Cache
) -> Result<Self>

pub fn new(
    fst1: Arc<<<CFB::CF as ComposeFilter<W>>::M1 as Matcher<W>>::F>,
    fst2: Arc<<<CFB::CF as ComposeFilter<W>>::M2 as Matcher<W>>::F>
) -> Result<Self> where
    Cache: Default, 

pub fn compute<F2: MutableFst<W> + AllocableFst<W>>(&self) -> Result<F2>

Turns the Lazy FST into a static one.

impl<W: Semiring, F1: ExpandedFst<W>, F2: ExpandedFst<W>> ComposeFst<W, SequenceComposeFilterBuilder<W, GenericMatcher<W, F1>, GenericMatcher<W, F2>>>

pub fn new_auto(fst1: Arc<F1>, fst2: Arc<F2>) -> Result<Self>

Trait Implementations

impl<W: Clone + Semiring, CFB: Clone + ComposeFilterBuilder<W>, Cache: Clone> Clone for ComposeFst<W, CFB, Cache>

fn clone(&self) -> ComposeFst<W, CFB, Cache>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<W, CFB, Cache> CoreFst<W> for ComposeFst<W, CFB, Cache> where
    W: Semiring,
    CFB: ComposeFilterBuilder<W>,
    Cache: FstCache<W>, 

type TRS = TrsVec<W>

Weight use in the wFST. This type must implement the Semiring trait.

fn start(&self) -> Option<usize>

Returns the ID of the start state of the wFST if it exists else none.

fn final_weight(&self, state_id: usize) -> Result<Option<W>>

Retrieves the final weight of a state (if the state is a final one).

unsafe fn final_weight_unchecked(&self, state_id: usize) -> Option<W>

fn num_trs(&self, s: usize) -> Result<usize>

Number of trs leaving a specific state in the wFST.

unsafe fn num_trs_unchecked(&self, s: usize) -> usize

fn get_trs(&self, state_id: usize) -> Result<Self::TRS>

unsafe fn get_trs_unchecked(&self, state_id: usize) -> Self::TRS

fn properties(&self) -> FstProperties

Retrieve the FstProperties stored in the Fst. As a result, all the properties returned are verified by the Fst but some other properties might be true as well despite the flag not being set.

fn num_input_epsilons(&self, state: usize) -> Result<usize>

Returns the number of trs with epsilon input labels leaving a state.

fn num_output_epsilons(&self, state: usize) -> Result<usize>

Returns the number of trs with epsilon output labels leaving a state.

fn is_final(&self, state_id: StateId) -> Result<bool>

Returns whether or not the state with identifier passed as parameters is a final state.

unsafe fn is_final_unchecked(&self, state_id: StateId) -> bool

fn is_start(&self, state_id: StateId) -> bool

Check whether a state is the start state or not.

fn properties_with_mask(&self, mask: FstProperties) -> FstProperties

Apply a mask to the FstProperties returned.

fn properties_check(&self, props_known: FstProperties) -> Result<FstProperties>

Retrieve the FstProperties in the Fst and check that all the properties in props_known are known (not the same as true). If not an error is returned.

impl<W: Debug + Semiring, CFB: Debug + ComposeFilterBuilder<W>, Cache: Debug> Debug for ComposeFst<W, CFB, Cache>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<W, CFB, Cache> Fst<W> for ComposeFst<W, CFB, Cache> where
    W: Semiring,
    CFB: ComposeFilterBuilder<W> + 'static,
    Cache: FstCache<W> + 'static, 

fn input_symbols(&self) -> Option<&Arc<SymbolTable>>

Retrieves the input SymbolTable associated to the Fst. If no SymbolTable has been previously attached then None is returned.

fn output_symbols(&self) -> Option<&Arc<SymbolTable>>

Retrieves the output SymbolTable associated to the Fst. If no SymbolTable has been previously attached then None is returned.

fn set_input_symbols(&mut self, symt: Arc<SymbolTable>)

Attaches an output SymbolTable to the Fst. The SymbolTable is not duplicated with the use of Arc.

fn set_output_symbols(&mut self, symt: Arc<SymbolTable>)

Attaches an output SymbolTable to the Fst. The SymbolTable is not duplicated with the use of Arc.

fn take_input_symbols(&mut self) -> Option<Arc<SymbolTable>>

Removes the input symbol table from the Fst and retrieves it.

fn take_output_symbols(&mut self) -> Option<Arc<SymbolTable>>

Removes the output symbol table from the Fst and retrieves it.

fn set_symts_from_fst<W2: Semiring, OF: Fst<W2>>(&mut self, other_fst: &OF)

fn final_states_iter(&self) -> FinalStatesIterator<'_, W, Self> where
    Self: Sized, 

impl<'a, W, CFB, Cache> FstIterator<'a, W> for ComposeFst<W, CFB, Cache> where
    W: Semiring,
    CFB: ComposeFilterBuilder<W> + 'a,
    Cache: FstCache<W> + 'a, 

type FstIter = <LazyFst<W, ComposeFstOp<W, CFB>, Cache> as FstIterator<'a, W>>::FstIter

fn fst_iter(&'a self) -> Self::FstIter

impl<'a, W, CFB, Cache> StateIterator<'a> for ComposeFst<W, CFB, Cache> where
    W: Semiring,
    CFB: ComposeFilterBuilder<W> + 'a,
    Cache: FstCache<W> + 'a, 

type Iter = <LazyFst<W, ComposeFstOp<W, CFB>, Cache> as StateIterator<'a>>::Iter

Iterator used to iterate over the state_id of the states of an FST.

fn states_iter(&'a self) -> Self::Iter

Creates an iterator over the state_id of the states of an FST.