1 | /*
|
---|
2 | * Licensed to the Apache Software Foundation (ASF) under one or more
|
---|
3 | * contributor license agreements. See the NOTICE file distributed with
|
---|
4 | * this work for additional information regarding copyright ownership.
|
---|
5 | * The ASF licenses this file to You under the Apache License, Version 2.0
|
---|
6 | * (the "License"); you may not use this file except in compliance with
|
---|
7 | * the License. You may obtain a copy of the License at
|
---|
8 | *
|
---|
9 | * http://www.apache.org/licenses/LICENSE-2.0
|
---|
10 | *
|
---|
11 | * Unless required by applicable law or agreed to in writing, software
|
---|
12 | * distributed under the License is distributed on an "AS IS" BASIS,
|
---|
13 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
---|
14 | * See the License for the specific language governing permissions and
|
---|
15 | * limitations under the License.
|
---|
16 | */
|
---|
17 | package agents.anac.y2019.harddealer.math3.random;
|
---|
18 |
|
---|
19 | import java.util.Random;
|
---|
20 |
|
---|
21 | /**
|
---|
22 | * Extension of <code>java.util.Random</code> to implement
|
---|
23 | * {@link RandomGenerator}.
|
---|
24 | *
|
---|
25 | * @since 1.1
|
---|
26 | */
|
---|
27 | public class JDKRandomGenerator extends Random implements RandomGenerator {
|
---|
28 |
|
---|
29 | /** Serializable version identifier. */
|
---|
30 | private static final long serialVersionUID = -7745277476784028798L;
|
---|
31 |
|
---|
32 | /**
|
---|
33 | * Create a new JDKRandomGenerator with a default seed.
|
---|
34 | */
|
---|
35 | public JDKRandomGenerator() {
|
---|
36 | super();
|
---|
37 | }
|
---|
38 |
|
---|
39 | /**
|
---|
40 | * Create a new JDKRandomGenerator with the given seed.
|
---|
41 | *
|
---|
42 | * @param seed initial seed
|
---|
43 | * @since 3.6
|
---|
44 | */
|
---|
45 | public JDKRandomGenerator(int seed) {
|
---|
46 | setSeed(seed);
|
---|
47 | }
|
---|
48 |
|
---|
49 | /** {@inheritDoc} */
|
---|
50 | public void setSeed(int seed) {
|
---|
51 | setSeed((long) seed);
|
---|
52 | }
|
---|
53 |
|
---|
54 | /** {@inheritDoc} */
|
---|
55 | public void setSeed(int[] seed) {
|
---|
56 | setSeed(RandomGeneratorFactory.convertToLong(seed));
|
---|
57 | }
|
---|
58 | }
|
---|