omega_interface/polyfunc.h

   1 #include <ginac/ginac.h>
   2 #include <omega/AST.h>
   3 #include <omega/Relation.h>
   4 #include <barvinok/evalue.h>
   5
   6 struct PolyFunc {
   7     Relation    domain;
   8     GiNaC::ex   poly;
   9 };
  10
  11 void maximize(PolyFunc *polyfunc, Map<Variable_Ref *, GiNaC::ex>& variableMap);
  12 evalue *summate(PolyFunc *polyfunc, Map<Variable_Ref *, GiNaC::ex>& variableMap);