pub fn add_op_alt(
        &mut self, name: &str, guard: &Predicate,
        effects_goals_actions: &[(&[Action], &Predicate, &[Action])], auto: bool,
        mc_constraint: Option<Predicate>,
    ) -> SPPath {
        let mut op = Operation::new(name, auto, guard, effects_goals_actions, mc_constraint);
        let ops_path = self.path().add_child("operations");
        let path = op.path.add_parent_path_mut(&ops_path);
        self.operations.push(op);
        path
    }
/// Add an operation that models a non-deteministic plant, ie multiple possible outcomes.
Add an operation that models a non-deteministic plant, ie multiple possible outcomes.
Add an operation that models a non - deteministic plant ie multiple possible outcomes .
pub fn add_op_alt(
        &mut self, name: &str, guard: &Predicate,
        effects_goals_actions: &[(&[Action], &Predicate, &[Action])], auto: bool,
        mc_constraint: Option<Predicate>,
    ) -> SPPath {
        let mut op = Operation::new(name, auto, guard, effects_goals_actions, mc_constraint);
        let ops_path = self.path().add_child("operations");
        let path = op.path.add_parent_path_mut(&ops_path);
        self.operations.push(op);
        path
    }
pub fn add_op_alt ( & mut self , name : & str , guard : & Predicate , effects_goals_actions : & [ ( & [ Action ] , & Predicate , & [ Action ] ) ] , auto : bool , mc_constraint : Option < Predicate > , ) -> SPPath { let mut op = Operation :: new ( name , auto , guard , effects_goals_actions , mc_constraint ) ; let ops_path = self . path ( ) . add_child ( " " ) ; let path = op . path . add_parent_path_mut ( & ops_path ) ; self . operations . push ( op ) ; path }
Add an operation that models a non-deteministic plant, ie multiple possible outcomes.
Add an operation that models a non - deteministic plant ie multiple possible outcomes .
&mut self
name
&str
guard
&Predicate
effects_goals_actions
&[(&[Action], &Predicate, &[Action])]
auto
bool
mc_constraint
Option<Predicate>