Method new_path_id

src/analysis/dfa.rs:529–532

(&mut self)

    }

    fn new_path_id(&mut self) -> EdgeWeight {
        self.path_count += 1;
        self.path_count as EdgeWeight
    }

    fn swith_to_path(&mut self, path_id: usize) {
        self.path_id = path_id;