Main Page | Modules | Alphabetical List | Compound List | File List | Compound Members | Related Pages

Todo List

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 doxygen 1.3.3