From 071f8c7405b61ce8d2449633988083e8f60ac342 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 11 May 2015 15:37:24 +0200
Subject: [PATCH] Some min/max functions in lib
---
library/math/package.scala | 10 ++++++++++
1 file changed, 10 insertions(+)
create mode 100644 library/math/package.scala
diff --git a/library/math/package.scala b/library/math/package.scala
new file mode 100644
index 000000000..04ec9e475
--- /dev/null
+++ b/library/math/package.scala
@@ -0,0 +1,10 @@
+package leon
+
+package object math {
+
+ def min(i1: Int, i2: Int) = if (i1 <= i2) i1 else i2
+ def max(i1: Int, i2: Int) = if (i1 >= i2) i1 else i2
+ def min(i1: BigInt, i2: BigInt) = if (i1 <= i2) i1 else i2
+ def max(i1: BigInt, i2: BigInt) = if (i1 >= i2) i1 else i2
+
+}
--
GitLab