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);