cloud/commit
Avoid division by zero.
author | Jan Wielemaker |
---|---|
Mon Oct 10 10:41:20 2011 +0200 | |
committer | Jan Wielemaker |
Mon Oct 10 10:41:20 2011 +0200 | |
commit | 6f4df67af12435483b7cf9b8ad67196015ea2a77 |
tree | ddb6c2279e7a049fc8593a066fa6e5dcf8bf2fdd |
parent | e85d4496ceb88887fb1ccac9df6d92efff1d5c15 |
Diff style: patch stat
diff --git a/lib/datacloud.pl b/lib/datacloud.pl index 9b7bfa2..16d0603 100644 --- a/lib/datacloud.pl +++ b/lib/datacloud.pl @@ -159,7 +159,8 @@ get_sizes(CNList,CNSizeList,Options):- get_size(Triples, SizeFactor, MinSize, Size)), CNSizeList). -get_size(Triples, SizeFactor, MinSize, Size):- +get_size(_, 0.0, MinSize, MinSize) :- !. +get_size(Triples, SizeFactor, MinSize, Size) :- Size is sqrt(Triples)/SizeFactor + MinSize. get_max_triples(CNList,MaxTriples):-