All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Functions | Variables
make-problems.cc File Reference
#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>
Include dependency graph for make-problems.cc:

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
 

Function Documentation

bool find_problem ( DualDfpn dfpn,
NumEffectState &  state 
)
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)
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().

Variable Documentation

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