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
33
34
35
36
37

use crate::{BinaryOp, Monotonicity};

/// **(internal)** Convert `FnUpdateTemp` back to Boolean expression string.
mod _display_fn_update_temp;
/// **(internal)** `BooleanNetwork` parsing.
mod _from_string_for_boolean_network;
/// **(internal)** `FnUpdateTemp` parsing.
mod _from_string_for_fn_update_temp;
/// **(internal)** `RegulatoryGraph` parsing.
mod _from_string_for_regulation_temp;
/// **(internal)** Parsing utility methods for the `BooleanNetwork`.
mod _impl_boolean_network;
/// **(internal)** Implementation of `FnUpdateTemp`.
mod _impl_fn_update_temp;
/// **(internal)** Parsing utility methods for the `RegulatoryGraph`.
mod _impl_regulatory_graph;

/// **(internal)** A helper struct for representing a parsed `Regulation` that has not been
/// integrated into a `RegulatoryGraph` yet.
#[derive(Clone, Debug, Eq, Hash, PartialEq)]
pub(crate) struct RegulationTemp {
    regulator: String,
    target: String,
    observable: bool,
    monotonicity: Option<Monotonicity>,
}

/// **(internal)** A helper enum for representing a parsed `FnUpdate` that has not been
/// integrated into a `BooleanNetwork` yet.
#[derive(Clone, Debug, Eq, Hash, PartialEq)]
pub(crate) enum FnUpdateTemp {
    Const(bool),
    Var(String),
    Param(String, Vec<String>),
    Not(Box<FnUpdateTemp>),
    Binary(BinaryOp, Box<FnUpdateTemp>, Box<FnUpdateTemp>),
}