14 void usage(
const char *program_name)
 
   16   std::cerr << program_name << 
" csafiles\n";
 
   21 void run(
const char *filename);
 
   24 int main(
int argc, 
char **argv)
 
   26   const char *program_name = argv[0];
 
   27   bool error_flag = 
false;
 
   32   while ((c = getopt(argc, argv, 
"s:vh")) != EOF)
 
   38     default:    error_flag = 
true;
 
   44   if (error_flag || (argc < 1))
 
   49     for (
int i=0; i<argc; ++i)
 
   55   catch (std::exception& e)
 
   57     std::cerr << e.what() << 
"\n";
 
   69 void run(
const char *filename)
 
   71   Record rec=CsaFile(filename).getRecord();
 
   72   NumEffectState state(rec.getInitialState());
 
   73   const vector<osl::Move> 
moves=rec.getMoves();
 
   79     if (i >= moves.size())
 
   81     const Move move = moves[i++];
 
   85       progress.
update(state, move);