OKlibrary  0.2.1.6
GreenTao.cpp File Reference

Application for generating GreenTao hypergraphs. More...

#include <iostream>
#include <string>
#include <boost/lexical_cast.hpp>
#include <OKlib/Combinatorics/Hypergraphs/Generators/GreenTao.hpp>

Go to the source code of this file.

Defines

#define UINT_TYPE_GT   unsigned long

Enumerations

enum  

Functions

int main (const int argc, const char *const argv[])

Detailed Description

Application for generating GreenTao hypergraphs.

Called with parameters k and n, outputs the Green-Tao hypergraph in Dimacs format.

Todo:

Use InputOutput::CLSAdaptorDIMACSOutput

Use Messages

Definition in file GreenTao.cpp.


Define Documentation

#define UINT_TYPE_GT   unsigned long

Definition at line 29 of file GreenTao.cpp.


Enumeration Type Documentation

anonymous enum

Definition at line 34 of file GreenTao.cpp.


Function Documentation

int main ( const int  argc,
const char *const  argv[] 
)

Definition at line 43 of file GreenTao.cpp.

References H.