diff options
author | Ouyancheng <1024842937@qq.com> | 2021-05-28 14:00:16 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-28 21:00:16 +0000 |
commit | f62b46414cc47762857a4e3241318733ca8c973d (patch) | |
tree | 5e69ae109fb2a0223b6722c2ec8352b164e4e54c /src/smt/managed_ostreams.cpp | |
parent | 40089fc79491a0608f36e6af9db69d2c12c37e3e (diff) |
(Optimization) remove popObjective, add resetObjectives, rename pushObjective => addObjective (#6634)
In order for OptimizationSolver to support pushing & popping,
we could remove popObjective because it might be difficult to handle cases like:
optSlv->pushObjective(...);
optSlv->push();
optSlv->popObjective();
optSlv->pop();
In this case we need to add back the popped objective...
If push/pop is supported, pop does not bring back objectives if you resetObjective
but it will revert the objs you add.
just like assertFormula and resetAssertions.
Diffstat (limited to 'src/smt/managed_ostreams.cpp')
0 files changed, 0 insertions, 0 deletions