Tree Compression with Top Trees Revisited
Functions | Variables
randomVerify.cpp File Reference
#include <iostream>
#include <string>
#include <thread>
#include <mutex>
#include "Common.h"
#include "Edges.h"
#include "Labels.h"
#include "Nodes.h"
#include "OrderedTree.h"
#include "TopDag.h"
#include "TopTree.h"
#include "RandomTree.h"
#include "TopDagUnpacker.h"
#include "RePairCombiner.h"
#include "TopDagConstructor.h"
#include "TopTreeUnpacker.h"
#include "ArgParser.h"
#include "ProgressBar.h"
#include "Statistics.h"
#include "Timer.h"
#include "XML.h"
Include dependency graph for randomVerify.cpp:

Go to the source code of this file.

Functions

void usage (char *name)
 
void runIteration (const int iteration, RandomGeneratorType &generator, const uint seed, const int size, const int numLabels, const bool useRePair, const bool verbose, const bool extraVerbose, Statistics &statistics, ProgressBar &bar, const string &treePath)
 
int main (int argc, char **argv)
 

Variables

std::mutex debugMutex
 

Function Documentation

int main ( int  argc,
char **  argv 
)

Definition at line 142 of file randomVerify.cpp.

void runIteration ( const int  iteration,
RandomGeneratorType generator,
const uint  seed,
const int  size,
const int  numLabels,
const bool  useRePair,
const bool  verbose,
const bool  extraVerbose,
Statistics statistics,
ProgressBar bar,
const string &  treePath 
)

Definition at line 50 of file randomVerify.cpp.

void usage ( char *  name)

Definition at line 34 of file randomVerify.cpp.

Variable Documentation

std::mutex debugMutex

Definition at line 48 of file randomVerify.cpp.