Searched defs:forward_iterators (Results 1 – 2 of 2) sorted by relevance
34 static void forward_iterators(kripkecube<State, SuccIterator>& sys, in forward_iterators() function