main.cpp File Reference

Command-line driver: load the graphs, filter (FilterEngine), order (OrderEngine), compute symmetry-breaking constraints when counting (Symmetry), search (SearchEngine), and report the match count and the time of each phase. More...

#include <iostream>
#include <vector>
#include <string>
#include <chrono>
#include <iomanip>
#include <sstream>
#include <algorithm>
#include "AppGraph.h"
#include "FilterEngine.h"
#include "OrderEngine.h"
#include "SearchEngine.h"
#include "Symmetry.h"

Include dependency graph for main.cpp:

Functions
void	print_usage ()
void	print_ms (const char *label, double ms)
int	main (int argc, char *argv[])

Detailed Description

Command-line driver: load the graphs, filter (FilterEngine), order (OrderEngine), compute symmetry-breaking constraints when counting (Symmetry), search (SearchEngine), and report the match count and the time of each phase.

Function Documentation

main()

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

print_ms()

void print_ms	(	const char *	label,
		double	ms
	)

print_usage()

void print_usage

(

)