keep track of and use saturating constraints in Param_Polyhedron
[barvinok.git] / barvinok / 
tree3318c7f1a027dcb14a838d8a878e4032b2e3219a
drwxr-xr-x   ..
-rw-r--r-- 70 NTL.h.broken
-rw-r--r-- 44 NTL.h.normal
-rw-r--r-- 922 NTL_QQ.h
-rw-r--r-- 2326 barvinok.h
-rw-r--r-- 519 basis_reduction.h
-rw-r--r-- 673 bernstein.h
-rw-r--r-- 5131 evalue.h
-rw-r--r-- 2471 genfun.h
-rw-r--r-- 3119 options.h
-rw-r--r-- 230 polylib.h
-rw-r--r-- 275 sample.h
-rw-r--r-- 55 set.h.broken
-rw-r--r-- 15 set.h.normal
-rw-r--r-- 4280 util.h