momba-explore 0.1.1

State space exploration engine for PTAs and MDPs augmented with variables.
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

use serde::{Deserialize, Serialize};

#[derive(Deserialize, Serialize, PartialEq, Eq, Hash, Clone, Debug)]
pub struct AutomatonReference {
    pub(crate) name: String,
}

#[derive(Deserialize, Serialize, PartialEq, Eq, Hash, Clone, Debug)]
pub struct LocationReference {
    pub(crate) automaton: AutomatonReference,
    pub(crate) name: String,
}

#[derive(Deserialize, Serialize, PartialEq, Eq, Hash, Clone, Debug)]
pub struct EdgeReference {
    pub(crate) location: LocationReference,
    pub(crate) index: usize,
}

#[derive(Deserialize, Serialize, PartialEq, Eq, Hash, Clone, Debug)]
pub struct DestinationReference {
    pub(crate) edge: EdgeReference,
    pub(crate) index: usize,
}