32         state_sets: &'m mut Map<StateIndex, StateSet>,  in new()
33         inconsistent_state: StateIndex,  in new()
46     pub fn start(&mut self, beachhead_state: StateIndex) -> Result<(), (StateIndex, StateIndex)> {  in start()  argument
71     fn original_index(&self, state: StateIndex) -> StateIndex {  in original_index()
75     fn successors(&self, state: StateIndex) -> Option<&'m Set<StateIndex>> {  in successors()
79     fn walk(&mut self, state: StateIndex) -> Result<(), (StateIndex, StateIndex)> {  in walk()  argument
143     fn clone(&mut self, state: StateIndex) -> StateIndex {  in clone()
169         predecessor: StateIndex,  in patch_links()
170         original_successor: StateIndex,  in patch_links()
171         cloned_successor: StateIndex,  in patch_links()
200     fn union(&mut self, source: StateIndex, target: StateIndex) -> bool {  in union()
211     fn new_state(&mut self, new_index: StateIndex, context_set: ContextSet) {  in new_state()