blob: 0cd7ff5896c5e6be438930bfb77e22a19368e230 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
/*
* SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.store.statecoding.neighbourhood;
import tools.refinery.store.statecoding.ObjectCode;
import java.util.Arrays;
public class ObjectCodeImpl implements ObjectCode {
private long[] vector;
private int size;
private int effectiveSize;
public ObjectCodeImpl() {
vector = new long[10];
size = 0;
effectiveSize = 0;
}
public ObjectCodeImpl(int size) {
this.vector = new long[size];
this.size = size;
effectiveSize = 0;
}
public ObjectCodeImpl(ObjectCodeImpl copy) {
this.vector = Arrays.copyOf(copy.vector, copy.size);
this.size = copy.size;
effectiveSize = copy.effectiveSize;
}
public void ensureSize(int object) {
if (object >= size) {
size = object + 1;
}
if (object >= vector.length) {
int newLength = vector.length * 2;
while (object >= newLength) {
newLength *= 2;
}
long[] newVector = new long[newLength];
System.arraycopy(vector, 0, newVector, 0, vector.length);
this.vector = newVector;
}
}
public long get(int object) {
if (object < vector.length) {
return vector[object];
} else {
return 0;
}
}
public void set(int object, long value) {
ensureSize(object);
final long valueToPut = value == 0 ? 1 : value;
if (vector[object] == 0) effectiveSize++;
vector[object] = valueToPut;
}
public int getSize() {
return this.size;
}
public int getEffectiveSize() {
return this.effectiveSize;
}
@Override
public String toString() {
return "ObjectCodeImpl{" +
"vector=" + Arrays.toString(Arrays.copyOf(vector, this.size)) +
'}';
}
}
|