DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

finish implementation of isSubset() 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@598 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-01-19 21:27:09 +00:00
parent 6d86515ec6
commit 322f465265
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.core/src/com/ibm/wala/util/intset/BimodalMutableIntSet.java
View File

@ -313,8 +313,10 @@ public class BimodalMutableIntSet implements MutableIntSet {
BimodalMutableIntSet b = (BimodalMutableIntSet) that;
return impl.isSubset(b.impl);
} else {
Assertions.UNREACHABLE();
return false;
// slow!
BitVectorIntSet a = new BitVectorIntSet(this);
BitVectorIntSet b = new BitVectorIntSet(that);
return a.isSubset(b);
}
}