#include "osl/state/numEffectState.h"
#include "osl/hash/hashKey.h"
#include <boost/program_options.hpp>
#include <boost/format.hpp>
#include <boost/scoped_ptr.hpp>
#include "osl/record/kisen.h"
#include "osl/record/csa.h"
#include "osl/record/csaRecord.h"
#include "osl/stl/hash_set.h"
#include <iostream>
#include <fstream>
Go to the source code of this file.
Classes | |
struct | hash |
class | StatePredicate |
class | CsaPredicate |
class | PieceStandPredicate |
Functions | |
int | main (int argc, char **argv) |
int main | ( | int | argc, |
char ** | argv | ||
) |
Definition at line 82 of file find-states.cc.
References osl::alt(), files, osl::record::KisenFile::getInitialState(), osl::record::KisenFile::getMoves(), osl::state::NumEffectState::hasEffectAt(), osl::state::SimpleState::kingSquare(), kisen_filename, osl::state::NumEffectState::makeMove(), moves, run(), osl::record::KisenFile::size(), store(), osl::state::SimpleState::turn(), and vm.