Add a max_no_block function usable in rules.pl
max_with_block has a function with an equivalent signature but it was missing for max_no_block. Change-Id: Ic2d4097570550e0025fd24e16c850fb67c188280
This commit is contained in:
@@ -295,6 +295,10 @@ any_with_block(Label, Min, may(_)).
|
|||||||
%%
|
%%
|
||||||
%% - At least one maximum is used.
|
%% - At least one maximum is used.
|
||||||
%%
|
%%
|
||||||
|
max_no_block(Max, Label, label(Label, S)) :-
|
||||||
|
number(Max), atom(Label),
|
||||||
|
!,
|
||||||
|
max_no_block(Label, Max, S).
|
||||||
max_no_block(Label, Max, ok(Who)) :-
|
max_no_block(Label, Max, ok(Who)) :-
|
||||||
check_label_range_permission(Label, Max, ok(Who)),
|
check_label_range_permission(Label, Max, ok(Who)),
|
||||||
!
|
!
|
||||||
|
Reference in New Issue
Block a user