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

//! Data structures for representing types.

use serde::{Deserialize, Serialize};

/// Possible data types of MombaIR values.
#[derive(Serialize, Deserialize, Eq, PartialEq, Hash, Clone, Debug)]
#[serde(rename_all = "SCREAMING_SNAKE_CASE", tag = "type")]
pub enum Type {
    /// A 64-bit signed integer.
    Int64,
    /// A double-precision IEEE 754 non-NaN float.
    Float64,
    /// A boolean.
    Bool,
    /// A vector/array of values.
    Vector {
        /// The type of the elements of the vector.
        element_type: Box<Type>,
    },
    /// Indicates that the type is unknown.
    Unknown,
}