pub fn preprocess_operation_plan(&self, plan: &SPPlan) -> SPPlan {
        let mut new_plan = plan.clone();

        for p in &mut new_plan.plan {
            let new_sync = p.syncronized_with
                .iter()
                .map(|p| {
                    if self.model.transitions.iter().any(|t| t.path() == p) {
                        p.parent().add_child("start")
                    } else {
                        p.clone()
                    }
                })
                .collect();
            (*p).syncronized_with = new_sync;
        }
        new_plan
    }
/// Preprocess operation plan. The operation plan contains a given
/// assignment of which outcome to expect from each operation. But
/// since we cannot chose this in reality, we remove this
/// information before sending the plan to the
/// runner. Specifically, this function replaces the specific
/// transitions on the form /operation/X where X is the outcome to
/// be /operation/start.
Preprocess operation plan. The operation plan contains a given
assignment of which outcome to expect from each operation. But
since we cannot chose this in reality, we remove this
information before sending the plan to the
runner. Specifically, this function replaces the specific
transitions on the form /operation/X where X is the outcome to
be /operation/start.
Preprocess operation plan . The operation plan contains a given assignment of which outcome to expect from each operation . But since we cannot chose this in reality we remove this information before sending the plan to the runner . Specifically this function replaces the specific transitions on the form / operation / X where X is the outcome to be / operation / start .
pub fn preprocess_operation_plan(&self, plan: &SPPlan) -> SPPlan {
        let mut new_plan = plan.clone();
        for p in &mut new_plan.plan {
            let new_sync = p.syncronized_with
                .iter()
                .map(|p| {
                    if self.model.transitions.iter().any(|t| t.path() == p) {
                        p.parent().add_child("start")
                    } else {
                        p.clone()
                    }
                })
                .collect();
            (*p).syncronized_with = new_sync;
        }
        new_plan
    }
pub fn preprocess_operation_plan ( & self , plan : & SPPlan ) -> SPPlan { let mut new_plan = plan . clone ( ) ; for p in & mut new_plan . plan { let new_sync = p . syncronized_with . iter ( ) . map ( | p | { if self . model . transitions . iter ( ) . any ( | t | t . path ( ) == p ) { p . parent ( ) . add_child ( " " ) } else { p . clone ( ) } } ) . collect ( ) ; ( * p ) . syncronized_with = new_sync ; } new_plan }
Preprocess operation plan.
Preprocess operation plan .
&self
plan
&SPPlan