#include "osl/checkmate/dualDfpn.h"
#include "osl/checkmate/proofDisproof.h"
#include "osl/move_generator/legalMoves.h"
#include "osl/record/csaRecord.h"
#include "osl/state/numEffectState.h"
#include <boost/program_options.hpp>
#include <boost/scoped_ptr.hpp>
#include <boost/foreach.hpp>
#include <boost/progress.hpp>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <fstream>
Go to the source code of this file.
Functions | |
void | run (const std::string &filename) |
int | main (int argc, char **argv) |
std::string | write_file (const NumEffectState &state, Move move, size_t count) |
bool | find_problem (DualDfpn &dfpn, NumEffectState &state) |
Variables | |
size_t | max_nodes |
size_t | min_nodes |
size_t | filenumber |
bool | search_proof |
bool find_problem | ( | DualDfpn & | dfpn, |
NumEffectState & | state | ||
) |
Definition at line 89 of file make-problems.cc.
References osl::checkmate::DualDfpn::findProof(), osl::checkmate::ProofDisproof::isCheckmateFail(), osl::checkmate::ProofDisproof::isCheckmateSuccess(), max_nodes, min_nodes, search_proof, osl::checkmate::DualDfpn::totalNodeCount(), and write_file().
Referenced by run().
int main | ( | int | argc, |
char ** | argv | ||
) |
Definition at line 20 of file make-problems.cc.
References filenumber, max_nodes, min_nodes, run(), search_proof, store(), and vm.
void run | ( | const std::string & | filename) |
Definition at line 104 of file make-problems.cc.
References find_problem(), osl::move_generator::capture::generate(), moves, osl::Move::PASS(), and search_proof.
Referenced by convert(), main(), and osl::game_playing::CuiClient::run().
std::string write_file | ( | const NumEffectState & | state, |
Move | move, | ||
size_t | count | ||
) |
Definition at line 78 of file make-problems.cc.
References filenumber, search_proof, and osl::record::csa::show().
Referenced by find_problem().
size_t filenumber |
Definition at line 17 of file make-problems.cc.
Referenced by main(), and write_file().
size_t max_nodes |
Definition at line 17 of file make-problems.cc.
Referenced by find_problem(), and main().
size_t min_nodes |
Definition at line 17 of file make-problems.cc.
Referenced by find_problem(), and main().
bool search_proof |
Definition at line 18 of file make-problems.cc.
Referenced by find_problem(), main(), run(), and write_file().