1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use crate::expression;

/// Effect in a transition.
#[derive(Debug, PartialEq, Clone, Default)]
pub struct Effect {
    /// Pairs of the index of a set variable and a set expression.
    pub set_effects: Vec<(usize, expression::SetExpression)>,
    /// Pairs of the index of a vector variable and a vector expression.
    pub vector_effects: Vec<(usize, expression::VectorExpression)>,
    /// Pairs of the index of an element variable and an element expression.
    pub element_effects: Vec<(usize, expression::ElementExpression)>,
    /// Pairs of the index of an integer variable and an integer expression.
    pub integer_effects: Vec<(usize, expression::IntegerExpression)>,
    /// Pairs of the index of a continuous variable and a continuous expression.
    pub continuous_effects: Vec<(usize, expression::ContinuousExpression)>,
    /// Pairs of the index of an element resource variable and an element expression.
    pub element_resource_effects: Vec<(usize, expression::ElementExpression)>,
    /// Pairs of the index of an integer resource variable and an integer expression.
    pub integer_resource_effects: Vec<(usize, expression::IntegerExpression)>,
    /// Pairs of the index of a continuous resource variable and a continuous expression.
    pub continuous_resource_effects: Vec<(usize, expression::ContinuousExpression)>,
}