Trait dypdl::AddEffect

source · 
pub trait AddEffect<T, U> {
    // Required method
    fn add_effect<V>(&mut self, v: T, expression: V) -> Result<(), ModelErr>
       where U: From<V>;
}
Expand description

Trait for adding an effect.

§Examples

use dypdl::prelude::*;

let mut model = Model::default();
let variable = model.add_integer_variable("variable", 0).unwrap();

let mut transition = Transition::new("transition");
assert!(transition.add_effect(variable, variable + 1).is_ok());

Required Methods§

source

fn add_effect<V>(&mut self, v: T, expression: V) -> Result<(), ModelErr>
where U: From<V>,

Adds an effect.

§Errors

If an effect is already defined for the variable.

Object Safety§

This trait is not object safe.

Implementors§