Trait rustfst::algorithms::compose::lookahead_matchers::LookaheadMatcher

pub trait LookaheadMatcher<W: Semiring>: Matcher<W> {
    type MatcherData: Clone;
    fn data(&self) -> Option<&Arc<Self::MatcherData>>;
    fn new_with_data(
        fst: Arc<Self::F>, 
        match_type: MatchType, 
        data: Option<Arc<Self::MatcherData>>
    ) -> Result<Self>
    where
        Self: Sized;
    fn create_data<F: ExpandedFst<W>>(
        fst: &F, 
        match_type: MatchType
    ) -> Result<Option<Self::MatcherData>>;
    fn init_lookahead_fst<LF: ExpandedFst<W>>(
        &mut self, 
        lfst: &Arc<LF>
    ) -> Result<()>;
    fn lookahead_fst<LF: ExpandedFst<W>>(
        &self, 
        matcher_state: StateId, 
        lfst: &Arc<LF>, 
        lfst_state: StateId
    ) -> Result<Option<LookAheadMatcherData<W>>>;
    fn lookahead_label(&self, state: StateId, label: Label) -> Result<bool>;
    fn lookahead_prefix(
        &self, 
        tr: &mut Tr<W>, 
        la_matcher_data: &LookAheadMatcherData<W>
    ) -> bool;
}

Associated Types

type MatcherData: Clone

Loading content...

Required methods

fn data(&self) -> Option<&Arc<Self::MatcherData>>

fn new_with_data(
    fst: Arc<Self::F>,
    match_type: MatchType,
    data: Option<Arc<Self::MatcherData>>
) -> Result<Self> where
    Self: Sized, 

fn create_data<F: ExpandedFst<W>>(
    fst: &F,
    match_type: MatchType
) -> Result<Option<Self::MatcherData>>

fn init_lookahead_fst<LF: ExpandedFst<W>>(
    &mut self,
    lfst: &Arc<LF>
) -> Result<()>

fn lookahead_fst<LF: ExpandedFst<W>>(
    &self,
    matcher_state: StateId,
    lfst: &Arc<LF>,
    lfst_state: StateId
) -> Result<Option<LookAheadMatcherData<W>>>

fn lookahead_label(&self, state: StateId, label: Label) -> Result<bool>

fn lookahead_prefix(
    &self,
    tr: &mut Tr<W>,
    la_matcher_data: &LookAheadMatcherData<W>
) -> bool

Loading content...

Implementors

impl<W: Semiring + 'static, M: Matcher<W>, MFT: MatcherFlagsTrait> LookaheadMatcher<W> for LabelLookAheadMatcher<W, M, MFT>

type MatcherData = LabelReachableData

fn data(&self) -> Option<&Arc<Self::MatcherData>>

fn new_with_data(
    fst: Arc<Self::F>,
    match_type: MatchType,
    data: Option<Arc<Self::MatcherData>>
) -> Result<Self>

fn create_data<F: ExpandedFst<W>>(
    fst: &F,
    match_type: MatchType
) -> Result<Option<Self::MatcherData>>

fn init_lookahead_fst<LF: ExpandedFst<W>>(
    &mut self,
    lfst: &Arc<LF>
) -> Result<()>

fn lookahead_fst<LF: ExpandedFst<W>>(
    &self,
    matcher_state: usize,
    lfst: &Arc<LF>,
    lfst_state: usize
) -> Result<Option<LookAheadMatcherData<W>>>

fn lookahead_label(&self, current_state: usize, label: usize) -> Result<bool>

fn lookahead_prefix(
    &self,
    tr: &mut Tr<W>,
    la_matcher_data: &LookAheadMatcherData<W>
) -> bool

impl<W: Semiring, F: ExpandedFst<W>> LookaheadMatcher<W> for SortedMatcher<W, F>

type MatcherData = ()

fn data(&self) -> Option<&Arc<Self::MatcherData>>

fn new_with_data(
    _fst: Arc<Self::F>,
    _match_type: MatchType,
    _data: Option<Arc<Self::MatcherData>>
) -> Result<Self> where
    Self: Sized, 

fn create_data<G: ExpandedFst<W>>(
    _fst: &G,
    _match_type: MatchType
) -> Result<Option<Self::MatcherData>>

fn init_lookahead_fst<LF: ExpandedFst<W>>(
    &mut self,
    _lfst: &Arc<LF>
) -> Result<()>

fn lookahead_fst<LF: ExpandedFst<W>>(
    &self,
    _matcher_state: usize,
    _lfst: &Arc<LF>,
    _lfst_state: usize
) -> Result<Option<LookAheadMatcherData<W>>>

fn lookahead_label(&self, _state: usize, _label: usize) -> Result<bool>

fn lookahead_prefix(
    &self,
    _tr: &mut Tr<W>,
    _la_matcher_data: &LookAheadMatcherData<W>
) -> bool

impl<W: Semiring, M: Matcher<W>> LookaheadMatcher<W> for TrivialLookAheadMatcher<W, M>

type MatcherData = ()

fn data(&self) -> Option<&Arc<Self::MatcherData>>

fn new_with_data(
    fst: Arc<Self::F>,
    match_type: MatchType,
    _data: Option<Arc<Self::MatcherData>>
) -> Result<Self>

fn create_data<F: ExpandedFst<W>>(
    _fst: &F,
    _match_type: MatchType
) -> Result<Option<Self::MatcherData>>

fn init_lookahead_fst<LF: ExpandedFst<W>>(
    &mut self,
    _lfst: &Arc<LF>
) -> Result<()>

fn lookahead_fst<LF: Fst<W>>(
    &self,
    _matcher_state: StateId,
    _lfst: &Arc<LF>,
    _s: StateId
) -> Result<Option<LookAheadMatcherData<W>>>

fn lookahead_label(&self, _state: StateId, _label: Label) -> Result<bool>

fn lookahead_prefix(
    &self,
    _tr: &mut Tr<W>,
    _la_matcher_data: &LookAheadMatcherData<W>
) -> bool

impl<W: Semiring, M: Matcher<W>, MFT: MatcherFlagsTrait> LookaheadMatcher<W> for TrLookAheadMatcher<W, M, MFT>

type MatcherData = ()

fn data(&self) -> Option<&Arc<Self::MatcherData>>

fn new_with_data(
    fst: Arc<Self::F>,
    match_type: MatchType,
    _data: Option<Arc<Self::MatcherData>>
) -> Result<Self>

fn create_data<F: ExpandedFst<W>>(
    _fst: &F,
    _match_type: MatchType
) -> Result<Option<Self::MatcherData>>

fn init_lookahead_fst<LF: ExpandedFst<W>>(
    &mut self,
    _lfst: &Arc<LF>
) -> Result<()>

fn lookahead_fst<LF: Fst<W>>(
    &self,
    matcher_state: StateId,
    lfst: &Arc<LF>,
    lfst_state: StateId
) -> Result<Option<LookAheadMatcherData<W>>>

fn lookahead_label(&self, state: StateId, label: Label) -> Result<bool>

fn lookahead_prefix(
    &self,
    tr: &mut Tr<W>,
    la_matcher_data: &LookAheadMatcherData<W>
) -> bool

Loading content...