drop verify_lexsmaller test application
[barvinok.git] / laurent.h
blob57bfaeb92aae3ce9c25733d244fec959a42abe43
1 #include <barvinok/evalue.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct barvinok_options;
9 evalue *laurent_summate(Polyhedron *P, evalue *e, unsigned nvar,
10 struct barvinok_options *options);
12 #if defined(__cplusplus)
14 #endif