diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-20 14:49:55 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-20 14:49:55 -0600 |
| commit | 798524d033f69153d4bf6604e08c69a571771ae8 (patch) | |
| tree | d00e5a0f67a2b03f1cdbd289d3d3ae2ba7146c63 /examples | |
| parent | 89420525dd8417f32446aa9cd9a18ecd211cc119 (diff) | |
Updates to API in preparation for using symbol manager for model (#5481)
printModel no longer makes sense if the list of declared symbols is managed outside the solver.
Also, mkConst needs a variant to distinguish a provided name of "" vs. a name that is not provided.
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/api/combination.cpp | 4 | ||||
| -rw-r--r-- | examples/api/python/combination.py | 3 |
2 files changed, 0 insertions, 7 deletions
diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp index 307c30709..0ac33c6dc 100644 --- a/examples/api/combination.cpp +++ b/examples/api/combination.cpp @@ -106,10 +106,6 @@ int main() << endl; prefixPrintGetValue(slv, assertions); - cout << endl << endl << "Alternatively, print the model." << endl << endl; - - slv.printModel(cout); - cout << endl; cout << "You can also use nested loops to iterate over terms." << endl; for (Term::const_iterator it = assertions.begin(); diff --git a/examples/api/python/combination.py b/examples/api/python/combination.py index ed3fe0be5..f063d8c4e 100644 --- a/examples/api/python/combination.py +++ b/examples/api/python/combination.py @@ -86,9 +86,6 @@ if __name__ == "__main__": " slv.getValue(...) on all terms") prefixPrintGetValue(slv, assertions) - print("Alternatively, print the model", "\n") - slv.printModel() - print() print("You can also use nested loops to iterate over terms") for a in assertions: |