ebi 0.3.14

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

use crate::{semantics::semantics::Semantics, techniques::livelock::IsPartOfLivelock};
use ebi_objects::{
    anyhow::Result, ebi_arithmetic::Fraction, ebi_objects::labelled_petri_net::TransitionIndex,
};

pub trait StochasticSemantics:
    Semantics<SemState = <Self as StochasticSemantics>::StoSemState>
    + IsPartOfLivelock<LivState = <Self as StochasticSemantics>::StoSemState>
{
    type StoSemState;

    /**
     *
     * @param transition
     * @return the weight of the transition. This might depend on the state.
     */
    fn get_transition_weight(
        &self,
        state: &<Self as StochasticSemantics>::StoSemState,
        transition: TransitionIndex,
    ) -> Result<&Fraction>;

    /**
     *
     * @param enabledTransitions
     * @return the sum of the weight of the enabled transitions
     */
    fn get_total_weight_of_enabled_transitions(
        &self,
        state: &<Self as StochasticSemantics>::StoSemState,
    ) -> Result<Fraction>;
}