Oracle

momba_explore::simulate

Trait Oracle 

Source 
pub trait Oracle<T: TimeType> {
    // Required method
    fn choose<'e, 't>(
        &self,
        state: &State<T::Valuations>,
        transitions: &'t Vec<Transition<'e, T>>,
    ) -> &'t Transition<'e, T>;
}
Expand description

Represents an oracle used to choose a transition.

When faced with a non-deterministic chose between multiple transitions, the simulator uses an oracle to determine which transition to choose.

Required Methods§

Source

fn choose<'e, 't>( &self, state: &State<T::Valuations>, transitions: &'t Vec<Transition<'e, T>>, ) -> &'t Transition<'e, T>

Chooses a transition from a vector of transitions.

Implementors§