Type Alias MDPExplorer 

pub type MDPExplorer = Explorer<NoClocks>;

A specialization of Explorer for MDPs using NoClocks.

MDPs do not have any real-valued clocks.

Aliased Type

pub struct MDPExplorer {
    pub network: Network,
    /* private fields */
}

Fields

network: Network