ebi 0.3.12

A stochastic process mining utility and library
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

use ebi_objects::{
    AutomatonState, StochasticAutomatonSemantics, StochasticDirectlyFollowsModel,
    anyhow::{Result, anyhow},
    ebi_arithmetic::Fraction,
    ebi_objects::labelled_petri_net::TransitionIndex,
};

use crate::stochastic_semantics::stochastic_semantics::StochasticSemantics;

impl StochasticSemantics for StochasticDirectlyFollowsModel {
    type StoSemState = AutomatonState;

    fn get_transition_weight(
        &self,
        state: &<Self as StochasticSemantics>::StoSemState,
        transition: TransitionIndex,
    ) -> Result<&Fraction> {
        StochasticAutomatonSemantics::transition_2_weight(self, *state, transition).ok_or_else(
            || {
                anyhow!(
                    "Transition {} does not exist or is not enabled.",
                    transition
                )
            },
        )
    }

    fn get_total_weight_of_enabled_transitions(
        &self,
        state: &<Self as StochasticSemantics>::StoSemState,
    ) -> Result<Fraction> {
        Ok(StochasticAutomatonSemantics::outgoing_transitions_weight_sum(self, *state))
    }
}