solving: add minimize/maximize

1 files changed, 12 insertions, 0 deletions

diff --git a/lua-bindings/src/lib.rs b/lua-bindings/src/lib.rs
index fb56b5a..86a759d 100644
--- a/lua-bindings/src/lib.rs
+++ b/lua-bindings/src/lib.rs
@@ -61,6 +61,18 @@ impl LuaUserData for Float {
                 r.solver_ctx().float_abs(f.0)
             }))))
         });
+
+        methods.add_method("maximize", |_lua, f: &Float, _: ()| {
+            let f = *f;
+            runtime_thread_do(Box::new(move |r| r.solver_ctx().float_maximize(f.0)));
+            Ok(())
+        });
+
+        methods.add_method("minimize", |_lua, f: &Float, _: ()| {
+            let f = *f;
+            runtime_thread_do(Box::new(move |r| r.solver_ctx().float_minimize(f.0)));
+            Ok(())
+        });
     }
 }