diff options
| author | Ouyancheng <1024842937@qq.com> | 2021-07-05 20:22:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-05 22:22:14 -0500 |
| commit | 80efd9fb51d25a7e2f3de802b41e4802e42596d7 (patch) | |
| tree | 48a2c7f45d730fc9a6018e96ae712fdf6e004fe4 /examples/simple_vc_quant_cxx.cpp | |
| parent | 898f11d0945bdaaa8bb79a536b66b266c78f1daa (diff) | |
Add some printing functions for OptimizationObjective and OptimizationResult (#6809)
Implement the operator << with std::ostream for OptimizationObjective and OptimizationResult. Currently only supports SMTLib2 or Sygus as output languages.
Objective: (maximize [node] :signed) or (minimize [node]) or ...
Result: (sat [expr]) or (unsat) or (unknown([explanation]) [expr/null])
Diffstat (limited to 'examples/simple_vc_quant_cxx.cpp')
0 files changed, 0 insertions, 0 deletions