diff options
| author | Minijackson <minijackson@riseup.net> | 2023-01-25 16:08:21 +0100 |
|---|---|---|
| committer | Minijackson <minijackson@riseup.net> | 2023-01-25 16:08:21 +0100 |
| commit | aded390750171429dca8e7e4d83e3fca76718cbf (patch) | |
| tree | 4adc7dc6f4369af3305b8045e0a8514d0f0bf762 /core/src | |
| parent | 794ce6e18b22ff3887870050e0992c0814fea9b5 (diff) | |
| download | diaphragm-aded390750171429dca8e7e4d83e3fca76718cbf.tar.gz diaphragm-aded390750171429dca8e7e4d83e3fca76718cbf.zip | |
solving: add minimize/maximize
Diffstat (limited to 'core/src')
| -rw-r--r-- | core/src/solving.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/core/src/solving.rs b/core/src/solving.rs index da053e7..bfe3ff3 100644 --- a/core/src/solving.rs +++ b/core/src/solving.rs | |||
| @@ -135,6 +135,9 @@ pub trait SolverContext { | |||
| 135 | result | 135 | result |
| 136 | } | 136 | } |
| 137 | 137 | ||
| 138 | fn float_maximize(&mut self, value: Float); | ||
| 139 | fn float_minimize(&mut self, value: Float); | ||
| 140 | |||
| 138 | // Bools | 141 | // Bools |
| 139 | 142 | ||
| 140 | fn new_free_bool(&mut self) -> Bool; | 143 | fn new_free_bool(&mut self) -> Bool; |