#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().
1.8.4