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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
/*******************************************************************************
* Copyright (c) 2010-2012, Tamas Szabo, Gabor Bergmann, Istvan Rath and Daniel Varro
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License v. 2.0 which is available at
* http://www.eclipse.org/legal/epl-v20.html.
*
* SPDX-License-Identifier: EPL-2.0
*******************************************************************************/
package tools.refinery.viatra.runtime.rete.index;
import java.util.Collection;
import java.util.Collections;
import java.util.Iterator;
import java.util.Set;
import tools.refinery.viatra.runtime.rete.itc.alg.incscc.IncSCCAlg;
import tools.refinery.viatra.runtime.matchers.tuple.MaskedTuple;
import tools.refinery.viatra.runtime.matchers.tuple.Tuple;
import tools.refinery.viatra.runtime.matchers.tuple.TupleMask;
import tools.refinery.viatra.runtime.matchers.tuple.Tuples;
import tools.refinery.viatra.runtime.matchers.util.CollectionsFactory;
import tools.refinery.viatra.runtime.matchers.util.Direction;
import tools.refinery.viatra.runtime.rete.network.Receiver;
import tools.refinery.viatra.runtime.rete.single.TransitiveClosureNode;
// UNFINISHED, not used yet
public class TransitiveClosureNodeIndexer extends StandardIndexer implements IterableIndexer {
private TransitiveClosureNode tcNode;
private IncSCCAlg<Object> tcAlg;
private Collection<Tuple> emptySet;
public TransitiveClosureNodeIndexer(TupleMask mask, IncSCCAlg<Object> tcAlg, TransitiveClosureNode tcNode) {
super(tcNode.getContainer(), mask);
this.tcAlg = tcAlg;
this.tcNode = tcNode;
this.emptySet = Collections.emptySet();
this.parent = tcNode;
}
@Override
public Collection<Tuple> get(Tuple signature) {
if (signature.getSize() == mask.sourceWidth) {
if (mask.indices.length == 0) {
// mask ()/2
return getSignatures();
} else if (mask.indices.length == 1) {
Set<Tuple> retSet = CollectionsFactory.createSet();
// mask (0)/2
if (mask.indices[0] == 0) {
Object source = signature.get(0);
for (Object target : tcAlg.getAllReachableTargets(source)) {
retSet.add(Tuples.staticArityFlatTupleOf(source, target));
}
return retSet;
}
// mask (1)/2
if (mask.indices[0] == 1) {
Object target = signature.get(1);
for (Object source : tcAlg.getAllReachableSources(target)) {
retSet.add(Tuples.staticArityFlatTupleOf(source, target));
}
return retSet;
}
} else {
// mask (0,1)/2
if (mask.indices[0] == 0 && mask.indices[1] == 1) {
Object source = signature.get(0);
Object target = signature.get(1);
Tuple singleton = Tuples.staticArityFlatTupleOf(source, target);
return (tcAlg.isReachable(source, target) ? Collections.singleton(singleton) : emptySet);
}
// mask (1,0)/2
if (mask.indices[0] == 1 && mask.indices[1] == 0) {
Object source = signature.get(1);
Object target = signature.get(0);
Tuple singleton = Tuples.staticArityFlatTupleOf(source, target);
return (tcAlg.isReachable(source, target) ? Collections.singleton(singleton) : emptySet);
}
}
}
return null;
}
@Override
public int getBucketCount() {
throw new UnsupportedOperationException();
}
@Override
public Collection<Tuple> getSignatures() {
return asTupleCollection(tcAlg.getTcRelation());
}
@Override
public Iterator<Tuple> iterator() {
return asTupleCollection(tcAlg.getTcRelation()).iterator();
}
private Collection<Tuple> asTupleCollection(
Collection<tools.refinery.viatra.runtime.rete.itc.alg.misc.Tuple<Object>> tuples) {
Set<Tuple> retSet = CollectionsFactory.createSet();
for (tools.refinery.viatra.runtime.rete.itc.alg.misc.Tuple<Object> tuple : tuples) {
retSet.add(Tuples.staticArityFlatTupleOf(tuple.getSource(), tuple.getTarget()));
}
return retSet;
}
/**
* @since 2.4
*/
public void propagate(Direction direction, Tuple updateElement, boolean change) {
propagate(direction, updateElement, new MaskedTuple(updateElement, mask), change, null);
}
@Override
public Receiver getActiveNode() {
return tcNode;
}
}
|
