evalue_read: extract from maximize.cc
[barvinok.git] / omega / polyfunc.h
blob7645a51c44493dabf0d0b0aa833eb51dc12e5cd7
1 #include <ginac/ginac.h>
2 #include <omega/AST.h>
3 #include <omega/Relation.h>
5 struct PolyFunc {
6 Relation domain;
7 GiNaC::ex poly;
8 };
10 void maximize(PolyFunc *polyfunc, Map<Variable_Ref *, GiNaC::ex>& variableMap);