diff options
author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-01 00:25:19 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-01 00:25:19 +1000 |
commit | 7e1182355d54f0dc8461ce7df7c4aca8c40d2a92 (patch) | |
tree | 49f864ec8f584dd5a4cfb3d03e6201fad20e653c /src/main/java/au/id/zancanaro/Generators.java | |
parent | a4b5a5f904fe9f21697cd8fc8998c7e6e86306af (diff) |
Just some rearranging, renaming and clean-up
Diffstat (limited to 'src/main/java/au/id/zancanaro/Generators.java')
-rw-r--r-- | src/main/java/au/id/zancanaro/Generators.java | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/main/java/au/id/zancanaro/Generators.java b/src/main/java/au/id/zancanaro/Generators.java index 852a290..e0927ff 100644 --- a/src/main/java/au/id/zancanaro/Generators.java +++ b/src/main/java/au/id/zancanaro/Generators.java @@ -22,14 +22,6 @@ public class Generators { return integer(0, gens.length).flatMap(index -> gens[index]); } - public static Generator<Integer> integer() { - return (random, size) -> integer(-size, size).generate(random, size); - } - - public static Generator<Integer> natural() { - return (random, size) -> integer(0, size).generate(random, size); - } - public static Generator<Integer> integer(int lower, int upper) { return (random, size) -> { int value = lower + random.nextInt(upper - lower); @@ -38,6 +30,14 @@ public class Generators { }; } + public static Generator<Integer> integer() { + return (random, size) -> integer(-size, size).generate(random, size); + } + + public static Generator<Integer> natural() { + return (random, size) -> integer(0, size).generate(random, size); + } + private static Iterable<RoseTree<Integer>> intShrinkingIterable(final int value, final int bound) { return () -> new Iterator<RoseTree<Integer>>() { int curr = value - bound; |