File: countDriver.cpp

package info (click to toggle)
latte-int 1.7.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 38,260 kB
  • sloc: cpp: 32,231; sh: 4,413; makefile: 811; perl: 300
file content (52 lines) | stat: -rw-r--r-- 1,657 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
/* count.cpp -- Master program

 Copyright 2002, 2003 Raymond Hemmecke, Ruriko Yoshida
 Copyright 2006, 2007 Matthias Koeppe

 This file is part of LattE.

 LattE is free software; you can redistribute it and/or modify it
 under the terms of the version 2 of the GNU General Public License
 as published by the Free Software Foundation.

 LattE is distributed in the hope that it will be useful, but
 WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with LattE; if not, write to the Free Software Foundation,
 Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
 */
#include <iostream>
#include "count.h"

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

	CountAnswerContainer ans;
	//cout << "going to call main" << endl;
	try {
		ans = mainCountDriver(argc,  argv);
	} catch ( LattException & e)
	{
		std::cout << e.what() << std::endl;
		return 1;//do nothing, a message has already been displayed.
	}

	/*
	cout <<"*%*%*%*%*%**%**%*" << endl;
	cout << "ehrhart_coefficients\n";
	for(int i = 0; i < ans.ehrhart_coefficients.size(); ++i)
		cout << "  " << ans.ehrhart_coefficients[i] << "t^" << i << endl;
	cout << "gen fun name" << ans.multivariateGenFunctionFileName.c_str() << endl;
	cout << "num lattice pt" << ans.numLaticePoints << endl;
	cout << "seriesExpansion" << endl;
	for(int i = 0; i < ans.seriesExpansion.length(); ++i)
		cout << "  " << ans.seriesExpansion[i] << "t^" << i << endl;


	THROW_LATTE(LattException::bug_Unknown);
	*/
	return 0;
}//main