diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-05-06 18:38:12 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-05-06 19:31:17 -0400 |
| commit | 0ff427f9cb3384f7d85c8f401a14b57b52c87cdd (patch) | |
| tree | d4b4205d21a3187c4825e47e8329e62b1df53e8c /src/theory/arith/approx_simplex.h | |
| parent | 5b0b97587e3640567ecd864171b309f39d829358 (diff) | |
Adding a heuristic for guessing an optimization function when using glpk.
Diffstat (limited to 'src/theory/arith/approx_simplex.h')
| -rw-r--r-- | src/theory/arith/approx_simplex.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/arith/approx_simplex.h b/src/theory/arith/approx_simplex.h index d4680939d..175e56f8e 100644 --- a/src/theory/arith/approx_simplex.h +++ b/src/theory/arith/approx_simplex.h @@ -44,6 +44,8 @@ public: /** Sets a maximization criteria for the approximate solver.*/ virtual void setOptCoeffs(const ArithRatPairVec& ref) = 0; + virtual ArithRatPairVec heuristicOptCoeffs() const = 0; + virtual ApproxResult solveRelaxation() = 0; virtual Solution extractRelaxation() const = 0; |