OKlibrary  0.2.1.6
CreateStatistic.cpp File Reference

Extracting the three .csv-files out of the random-formulas database. More...

#include <string>
#include <algorithm>
#include <memory>
#include <iostream>
#include <vector>
#include <map>
#include <cmath>
#include <fstream>
#include <sstream>
#include <ostream>
#include <limits>
#include <cassert>
#include <numeric>
#include <iomanip>
#include <boost/test/floating_point_comparison.hpp>
#include <OKlib/General/DatabaseHandler01.hpp>
#include <OKlib/General/TimeHandling.hpp>
#include <OKlib/General/Kommandozeile.hpp>
#include <OKlib/General/Algorithms.hpp>
#include <OKlib/General/ErrorHandling.hpp>

Go to the source code of this file.

Functions

int main ()

Detailed Description

Extracting the three .csv-files out of the random-formulas database.

Deprecated:
Only to be used with the old system

Definition in file CreateStatistic.cpp.


Function Documentation

int main ( )