Main.cpp File Reference

#include <assert.h>
#include <set>
#include <string>
#include <tuple>
#include <regex>
#include <vector>
#include <utility>
#include <functional>
#include <cmath>
#include "EigenLib.h"
#include "../FirstOrderLogic/Main.cpp"
#include "DeterministicGrammarHypothesis.h"
#include "TopN.h"
#include "Fleet.h"
#include "Miscellaneous.h"
#include "MCMCChain.h"
#include "Vectors.h"
#include "Data.h"

Include dependency graph for Main.cpp:

Classes
class	MyGrammarHypothesis
	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ More...

Macros
#define	NO_FOL_MAIN   1
	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ More...

Functions
int	main (int argc, char **argv)

Variables
std::vector< size_t >	ntops = {1,5,10,25,100,250,500,1000}
const double	alpha = 0.95
S	hypothesis_path = "hypotheses.txt"
S	runtype = "both"

Macro Definition Documentation

NO_FOL_MAIN

#define NO_FOL_MAIN   1

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Variable Documentation

alpha

const double alpha = 0.95

hypothesis_path

S hypothesis_path = "hypotheses.txt"

ntops

std::vector<size_t> ntops = {1,5,10,25,100,250,500,1000}

runtype

S runtype = "both"