repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
evalue_read: extract from maximize.cc
[barvinok.git]
/
omega
/
polyfunc.h
blob
7645a51c44493dabf0d0b0aa833eb51dc12e5cd7
1
#include <ginac/ginac.h>
2
#include <omega/AST.h>
3
#include <omega/Relation.h>
4
5
struct
PolyFunc
{
6
Relation domain
;
7
GiNaC
::
ex poly
;
8
};
9
10
void
maximize
(
PolyFunc
*
polyfunc
,
Map
<
Variable_Ref
*,
GiNaC
::
ex
>&
variableMap
);