remove min_/3 and max_/3 which are also defined elsewhere

2021-03-02 19:59:57 +01:00
parent 8c5a688566
commit 5b60c8aa7e
1 changed files with 0 additions and 4 deletions
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -6985,10 +6985,6 @@ cumulative(Tasks, Options) :-
            resource_limit(Start, End, Tasks, Bss, L)
        ).

-min_(E, M0, M) :- M is min(E,M0).
-
-max_(E, M0, M) :- M is max(E,M0).
-
 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
   Trivial lower and upper bounds, assuming no gaps and not necessarily
   retaining the rectangular shape of each task.