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

Folder: latte

d .. (parent)
d d rwxr-xr-x 4,096 barvinok
d d rwxr-xr-x 4,096 buildPolytopes
d d rwxr-xr-x 4,096 genFunction
d d rwxr-xr-x 4,096 integration
d d rwxr-xr-x 84 interpolation
d d rwxr-xr-x 4,096 normalize
d d rwxr-xr-x 84 sqlite
d d rwxr-xr-x 108 todd
d d rwxr-xr-x 58 top-ehrhart
d d rwxr-xr-x 141 top-knapsack
d d rwxr-xr-x 4,096 triangulation
d d rwxr-xr-x 4,096 valuation
d d rwxr-xr-x 44 vertices
- - rw-r--r-- 5,576 CheckEmpty.cpp
- - rw-r--r-- 896 CheckEmpty.h
- - rw-r--r-- 37,213 ConeInfo.cpp
- - rw-r--r-- 5,088 ConeInfo.h
- - rw-r--r-- 2,959 DualizationWith4ti2.cpp
- - rw-r--r-- 955 DualizationWith4ti2.h
- - rw-r--r-- 2,465 ExponentialEhrhart.cpp
- - rw-r--r-- 1,489 ExponentialEhrhart.h
- - rw-r--r-- 6,825 ExponentialSubst.cpp
- - rw-r--r-- 3,675 ExponentialSubst.h
- - rw-r--r-- 19,171 Grobner.cpp
- - rw-r--r-- 1,290 Grobner.h
- - rw-r--r-- 22,986 IntegralHull.cpp
- - rw-r--r-- 1,707 IntegralHull.h
- - rw-r--r-- 12,537 Irrational.cpp
- - rw-r--r-- 2,511 Irrational.h
- - rw-r--r-- 2,155 LattException.cpp
- - rw-r--r-- 3,414 LattException.h
- - rw-r--r-- 15,176 Makefile.am
- - rw-r--r-- 145,367 Makefile.in
- - rw-r--r-- 16,089 PolyTree.cpp
- - rw-r--r-- 4,036 PolyTree.h
- - rw-r--r-- 2,344 Polyhedron.h
- - rw-r--r-- 5,421 ProjectUp.cpp
- - rw-r--r-- 1,630 ProjectUp.h
- - rw-r--r-- 5,947 ReadLatteStyle.cpp
- - rw-r--r-- 1,670 ReadLatteStyle.h
- - rw-r--r-- 30,176 ReadPolyhedron.cpp
- - rw-r--r-- 4,172 ReadPolyhedron.h
- - rw-r--r-- 7,035 ReadSubcones.cpp
- - rw-r--r-- 2,302 ReadSubcones.h
- - rw-r--r-- 32,586 ReadingFile.cpp
- - rw-r--r-- 2,267 ReadingFile.h
- - rw-r--r-- 29,115 ResSingle.cpp
- - rw-r--r-- 35,402 Residue.cpp
- - rw-r--r-- 1,266 Residue.h
- - rw-r--r-- 39,772 RudyResNTL.cpp
- - rw-r--r-- 1,455 RudyResNTL.h
- - rw-r--r-- 5,033 VertexConesWith4ti2.cpp
- - rw-r--r-- 1,472 VertexConesWith4ti2.h
- - rw-r--r-- 979 banner.cpp
- - rw-r--r-- 857 banner.h
- - rw-r--r-- 10,484 binarySearchIP.cpp
- - rw-r--r-- 1,190 binarySearchIP.h
- - rw-r--r-- 4,428 cone.cpp
- - rw-r--r-- 3,435 cone.h
- - rw-r--r-- 3,632 cone_consumer.cpp
- - rw-r--r-- 3,688 cone_consumer.h
- - rw-r--r-- 3,075 convert.cpp
- - rw-r--r-- 1,705 convert.h
- - rw-r--r-- 1,412 convertCDD_ext_to_latte.cpp
- - rw-r--r-- 1,273 convertCDD_ine_to_latte.cpp
- - rw-r--r-- 26,263 count.cpp
- - rw-r--r-- 1,421 count.h
- - rw-r--r-- 1,657 countDriver.cpp
- - rw-r--r-- 8,414 dual.cpp
- - rw-r--r-- 1,923 dual.h
- - rw-r--r-- 25,163 ehrhart.cpp
- - rw-r--r-- 2,837 ehrhart3.cpp
- - rw-r--r-- 1,097 flags.h
- - rw-r--r-- 1,202 latte2ext.cpp
- - rw-r--r-- 1,192 latte2ine.cpp
- - rw-r--r-- 1,807 latte_4ti2.cpp
- - rw-r--r-- 1,422 latte_4ti2.h
- - rw-r--r-- 2,120 latte_4ti2_zsolve.cpp
- - rw-r--r-- 1,180 latte_4ti2_zsolve.h
- - rw-r--r-- 3,485 latte_cddlib.cpp
- - rw-r--r-- 2,281 latte_cddlib.h
- - rw-r--r-- 2,359 latte_gmp.cpp
- - rw-r--r-- 1,526 latte_gmp.h
- - rw-r--r-- 1,548 latte_ntl.cpp
- - rw-r--r-- 1,354 latte_ntl.h
- - rw-r--r-- 920 latte_ntl_integer.h
- - rw-r--r-- 1,221 latte_random.cpp
- - rw-r--r-- 1,094 latte_random.h
- - rw-r--r-- 1,253 latte_relocatable.cpp
- - rw-r--r-- 1,011 latte_relocatable.h
- - rw-r--r-- 3,519 latte_system.cpp
- - rw-r--r-- 1,854 latte_system.h
- - rw-r--r-- 20,619 maximize.cpp
- - rw-r--r-- 20,817 minimize.cpp
- - rw-r--r-- 1,915 polyhedron-to-cones.cpp
- - rw-r--r-- 26,808 preprocess.cpp
- - rw-r--r-- 1,464 preprocess.h
- - rw-r--r-- 10,770 print.cpp
- - rw-r--r-- 2,477 print.h
- - rw-r--r-- 4,526 ramon.cpp
- - rw-r--r-- 1,309 ramon.h
- - rw-r--r-- 18,392 rational.cpp
- - rw-r--r-- 9,107 rational.h
- - rw-r--r-- 105 simplify.add
- - rw-r--r-- 162 simplify2.add
- - rw-r--r-- 241 simplify3.add
- - rw-r--r-- 1,847 timing.cpp
- - rw-r--r-- 1,200 timing.h