projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
put unit tests here
[IRC.git]
/
Robust
/
src
/
Analysis
/
Disjoint
/
ReachState.java
diff --git
a/Robust/src/Analysis/Disjoint/ReachState.java
b/Robust/src/Analysis/Disjoint/ReachState.java
index 3a3cdc5cbbe8c2b9a18ef8b3f530cda4aafc60af..4c41b55a9b91cad2ef32663876566c84107283f5 100644
(file)
--- a/
Robust/src/Analysis/Disjoint/ReachState.java
+++ b/
Robust/src/Analysis/Disjoint/ReachState.java
@@
-43,11
+43,13
@@
public class ReachState extends Canonical {
return out;
}
return out;
}
- public static ReachState factory(ReachTuple rt) {
- assert rt != null;
- assert rt.isCanonical();
+ public static ReachState factory(ReachTuple... rts) {
ReachState out = new ReachState();
ReachState out = new ReachState();
- out.reachTuples.add(rt);
+ for( ReachTuple rt : rts ) {
+ assert rt != null;
+ assert rt.isCanonical();
+ out.reachTuples.add(rt);
+ }
out = (ReachState) Canonical.makeCanonical(out);
return out;
}
out = (ReachState) Canonical.makeCanonical(out);
return out;
}