#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
 1.8.4