Struct dypdl::Effect

pub struct Effect {
    pub set_effects: Vec<(usize, SetExpression)>,
    pub vector_effects: Vec<(usize, VectorExpression)>,
    pub element_effects: Vec<(usize, ElementExpression)>,
    pub integer_effects: Vec<(usize, IntegerExpression)>,
    pub continuous_effects: Vec<(usize, ContinuousExpression)>,
    pub element_resource_effects: Vec<(usize, ElementExpression)>,
    pub integer_resource_effects: Vec<(usize, IntegerExpression)>,
    pub continuous_resource_effects: Vec<(usize, ContinuousExpression)>,
}

Effect in a transition.

Fields

set_effects: Vec<(usize, SetExpression)>

Pairs of the index of a set variable and a set expression. Must be sorted by the indices of the set variables.

vector_effects: Vec<(usize, VectorExpression)>

Pairs of the index of a vector variable and a vector expression. Must be sorted by the indices of the vector variables.

element_effects: Vec<(usize, ElementExpression)>

Pairs of the index of an element variable and an element expression.

integer_effects: Vec<(usize, IntegerExpression)>

Pairs of the index of an integer variable and an integer expression.

continuous_effects: Vec<(usize, ContinuousExpression)>

Pairs of the index of a continuous variable and a continuous expression.

element_resource_effects: Vec<(usize, ElementExpression)>

Pairs of the index of an element resource variable and an element expression.

integer_resource_effects: Vec<(usize, IntegerExpression)>

Pairs of the index of an integer resource variable and an integer expression.

continuous_resource_effects: Vec<(usize, ContinuousExpression)>

Pairs of the index of a continuous resource variable and a continuous expression.

Trait Implementations

impl Clone for Effect

fn clone(&self) -> Effect

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Effect

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Effect

fn default() -> Effect

Returns the “default value” for a type.

impl PartialEq for Effect

fn eq(&self, other: &Effect) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Effect