pub fn reload_state_paths(&mut self) {
        for x in self.transitions.iter_mut() {
            x.upd_state_path(&self.state)
        }
        for x in self.specs.iter_mut() {
            x.spec_transition.upd_state_path(&self.state)
        }
        for x in self.predicates.iter_mut() {
            let old_p: &StatePath = &x.0;
            let sp = self.state.state_path(&old_p.path).expect(&format!(
                "All predicates must have a path in the state!: P={:?}",
                old_p
            ));
            x.0 = sp;
        }
        // also update any new predicates with values their correct assignments
        SPTicker::upd_preds(&mut self.state, &self.predicates);
    }
/// After changing anything in the Ticker, run this method to update the state variables.
After changing anything in the Ticker, run this method to update the state variables.
After changing anything in the Ticker run this method to update the state variables .
pub fn reload_state_paths(&mut self) {
        for x in self.transitions.iter_mut() {
            x.upd_state_path(&self.state)
        }
        for x in self.specs.iter_mut() {
            x.spec_transition.upd_state_path(&self.state)
        }
        for x in self.predicates.iter_mut() {
            let old_p: &StatePath = &x.0;
            let sp = self.state.state_path(&old_p.path).expect(&format!(
                "All predicates must have a path in the state!: P={:?}",
                old_p
            ));
            x.0 = sp;
        }
        // also update any new predicates with values their correct assignments
        SPTicker::upd_preds(&mut self.state, &self.predicates);
    }
pub fn reload_state_paths ( & mut self ) { for x in self . transitions . iter_mut ( ) { x . upd_state_path ( & self . state ) } for x in self . specs . iter_mut ( ) { x . spec_transition . upd_state_path ( & self . state ) } for x in self . predicates . iter_mut ( ) { let old_p : & StatePath = & x . 0 ; let sp = self . state . state_path ( & old_p . path ) . expect ( & format ! ( " " old_p ) ) ; x . 0 = sp ; } // also update any new predicates with values their correct assignments SPTicker :: upd_preds ( & mut self . state , & self . predicates ) ; }
After changing anything in the Ticker, run this method to update the state variables.
After changing anything in the Ticker run this method to update the state variables .
&mut self