Lines Matching refs:visited
6 // case linear time by keeping track of the states that it has visited (using a
7 // bitmap). Namely, once a state is visited, it is never visited again. Since a
57 visited: Vec<Bits>,
63 Cache { jobs: vec![], visited: vec![] }
108 // of the states we've visited.
119 self.m.visited.truncate(visited_len);
120 for v in &mut self.m.visited {
123 if visited_len > self.m.visited.len() {
124 let len = self.m.visited.len();
125 self.m.visited.reserve_exact(visited_len - len);
127 self.m.visited.push(0);
268 if self.m.visited[k1] & k2 == 0 {
269 self.m.visited[k1] |= k2;