diff options
author | Ouyancheng <1024842937@qq.com> | 2021-05-04 17:34:54 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-05 00:34:54 +0000 |
commit | f9eee2d3a33c38bec3efb5dda91d43ef55c992d7 (patch) | |
tree | 9e0bac7b510d15a20cd497a783ed47277f46abb7 /src/theory/theory_model.cpp | |
parent | 8a7c43f82b17a444c2f9518bc27f4ea8afe21201 (diff) |
Add helper functions for multi-objective optimization + refactoring (#6473)
add 3 helper functions
judge whether a node is optimizable
make strong improvement expression according to optimization objective
make weak improvement expression according to optimization objective
optChecker is now created by optimizationSolver instead of the minimize/maximize functions
Slightly refactors function signatures so that they are accepting OptimizationObjective instead of accepting target, type in separate parameters.
Diffstat (limited to 'src/theory/theory_model.cpp')
0 files changed, 0 insertions, 0 deletions