514 void ltlalgo::faster_Moore_bounded(int mincol, int minrow, int maxcol, int maxrow)  in faster_Moore_bounded()
658 void ltlalgo::faster_Moore_bounded2(int mincol, int minrow, int maxcol, int maxrow)  in faster_Moore_bounded2()
932 void ltlalgo::faster_Moore_unbounded(int mincol, int minrow, int maxcol, int maxrow)  in faster_Moore_unbounded()
1083 void ltlalgo::faster_Moore_unbounded2(int mincol, int minrow, int maxcol, int maxrow)  in faster_Moore_unbounded2()
1374 void ltlalgo::fast_Moore(int mincol, int minrow, int maxcol, int maxrow)  in fast_Moore()
1466 void ltlalgo::fast_Shaped(int mincol, int minrow, int maxcol, int maxrow)  in fast_Shaped()
1551 void ltlalgo::faster_Neumann_bounded(int mincol, int minrow, int maxcol, int maxrow)  in faster_Neumann_bounded()
1629 void ltlalgo::faster_Neumann_unbounded(int mincol, int minrow, int maxcol, int maxrow)  in faster_Neumann_unbounded()
1693 void ltlalgo::fast_Neumann(int mincol, int minrow, int maxcol, int maxrow)  in fast_Neumann()
1759     int mincol, minrow, maxcol, maxrow;  in do_bounded_gen()  local
2034     int maxrow = maxy + range;  in do_unbounded_gen()  local