From aded390750171429dca8e7e4d83e3fca76718cbf Mon Sep 17 00:00:00 2001 From: Minijackson Date: Wed, 25 Jan 2023 16:08:21 +0100 Subject: solving: add minimize/maximize --- lua-bindings/src/lib.rs | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'lua-bindings/src/lib.rs') 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(()) + }); } } -- cgit v1.2.3