- Member getNextLeaningRightBound (turing_machine< d_type > &machine, std::list< d_type >::iterator &rightBound, unsigned int &step_counter, unsigned int transition_limit)
- increase scope of this routine; it currently does not work properly on select cases causing the leaning tree proof to fail when it should succeed
Generated on Thu Nov 20 00:17:34 2003 for BusyBeaver by
1.3.3