Skip to main content

ProbabilityQueries

ebi::techniques::probability_queries

Trait ProbabilityQueries 

Source 
pub trait ProbabilityQueries {
    // Required methods
    fn analyse_minimum_probability(
        &self,
        at_least: &Fraction,
    ) -> Result<FiniteStochasticLanguage>;
    fn analyse_most_likely_traces(
        &self,
        number_of_traces: &usize,
    ) -> Result<FiniteStochasticLanguage>;
    fn analyse_probability_coverage(
        &self,
        coverage: &Fraction,
    ) -> Result<FiniteStochasticLanguage>;
}

Required Methods§

Source

fn analyse_minimum_probability( &self, at_least: &Fraction, ) -> Result<FiniteStochasticLanguage>

Find all traces that have a given minimum probability.

Source

fn analyse_most_likely_traces( &self, number_of_traces: &usize, ) -> Result<FiniteStochasticLanguage>

Find the traces with the highest probabilities.

Source

fn analyse_probability_coverage( &self, coverage: &Fraction, ) -> Result<FiniteStochasticLanguage>

Find the most likely traces that together have a sum probability.

Implementors§