Commit d277d83f authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

merge

parent c039942d
......@@ -294,9 +294,15 @@ rw_coeff(floor(Element),CurrentState,Parameters,Time,Result) :-
rw_coeff(random,_,_,_,Result) :-
!,Result is random_float.
% skipped to test continous integration
% rw_coeff(infinity,_,_,_,Result) :-
% !,Result is 1.0Inf.
rw_coeff(infinity,_,_,_,Result) :-
!,
catch(
Result is inf,
% old SWIPL (7.2.3) doesn't have inf/0
error(type_error(evaluable, inf/0), _),
% use something big
current_flag(max_tagged_integer, Result)
).
rw_coeff(t,_,_,Time,Time) :-
!.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment