omega/occ: optionally use parker for computing cardinality of a set
commit147eb3bdde75eacf7a049fa7cbffbd612411c334
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 3 Apr 2008 14:19:13 +0000 (3 16:19 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 3 Apr 2008 15:01:59 +0000 (3 17:01 +0200)
treedba440f4ceb9abe90d1381c298b61d87d9e221d6
parent5bf1034ac118d0e8b631ae8603db3cff94d7ce90
omega/occ: optionally use parker for computing cardinality of a set

Also remove the occ in parker, which would only provide
this functionality.
18 files changed:
Makefile.am
barvinok_enumerate_e.cc
doc/barvinok.bib
doc/omega.tex
omega/Makefile.am
omega/convert.cc
omega/convert.h
omega/count.cc
omega/count.h
omega/parser.l
omega/parser.y
parker/Exit.cc [deleted file]
parker/Makefile.am
parker/count_solutions.cc
parker/count_solutions.h
parker/omega_calc/yylex.h [deleted file]
parker/parser.l [deleted file]
parker/parser.y [deleted file]