pub fn block_all(model: &TransitionSystemModel) -> Vec<TransitionSpec> {
    model
        .transitions
        .iter()
        .filter_map(|t: &Transition| {
            if t.type_ == TransitionType::Controlled {
                Some(t.path().clone())
            } else {
                None
            }
        })
        .map(|p| {
            let t = Transition::new(
                &format!("Blocked {}", p),
                Predicate::FALSE,
                vec![],
                TransitionType::Controlled,
            );
            TransitionSpec::new(&format!("Blocked {}", p), t, vec![p.clone()])
        })
        .collect()
}
/// Return a plan that blocks all deliberation transitions.
Return a plan that blocks all deliberation transitions.
Return a plan that blocks all deliberation transitions .
pub fn block_all(model: &TransitionSystemModel) -> Vec<TransitionSpec> {
    model
        .transitions
        .iter()
        .filter_map(|t: &Transition| {
            if t.type_ == TransitionType::Controlled {
                Some(t.path().clone())
            } else {
                None
            }
        })
        .map(|p| {
            let t = Transition::new(
                &format!("Blocked {}", p),
                Predicate::FALSE,
                vec![],
                TransitionType::Controlled,
            );
            TransitionSpec::new(&format!("Blocked {}", p), t, vec![p.clone()])
        })
        .collect()
}
pub fn block_all ( model : & TransitionSystemModel ) -> Vec < TransitionSpec > { model . transitions . iter ( ) . filter_map ( | t : & Transition | { if t . type_ == TransitionType :: Controlled { Some ( t . path ( ) . clone ( ) ) } else { None } } ) . map ( | p | { let t = Transition :: new ( & format ! ( " " p ) , Predicate :: FALSE , vec ! [ ] , TransitionType :: Controlled , ) ; TransitionSpec :: new ( & format ! ( " " p ) , t , vec ! [ p clone ( ) ] ) } ) . collect ( ) }
Return a plan that blocks all deliberation transitions.
Return a plan that blocks all deliberation transitions .
model
&TransitionSystemModel