-
- Downloads
- For the Multiset library corrected bugs with "--", "intersection", "++" and "+++".
- Added a new "asSet" operation on a multiset, which returns the multiset as a set (by doing we loose cardinality information on the elements). - Added new tests for the multiset library in the regression suite. - Added the specs-1.5.0.jar to run ScalaSpec framework. - Added sources for ScalaCheck, this is useful for debugging. - Added Eclipse project and classpath files.
Showing
- .classpath 13 additions, 0 deletions.classpath
- .project 18 additions, 0 deletions.project
- examples/funpm/logic/DPLL.scala 1 addition, 1 deletionexamples/funpm/logic/DPLL.scala
- lib/ScalaCheck-1.5-src.jar 0 additions, 0 deletionslib/ScalaCheck-1.5-src.jar
- lib/specs-1.5.0.jar 0 additions, 0 deletionslib/specs-1.5.0.jar
- src/scala/collection/Multiset.scala 3 additions, 0 deletionssrc/scala/collection/Multiset.scala
- src/scala/collection/immutable/EmptyMultiset.scala 2 additions, 0 deletionssrc/scala/collection/immutable/EmptyMultiset.scala
- src/scala/collection/immutable/HashMultiset.scala 17 additions, 17 deletionssrc/scala/collection/immutable/HashMultiset.scala
- src/scala/collection/immutable/Multiset.scala 0 additions, 1 deletionsrc/scala/collection/immutable/Multiset.scala
- tests/scalatest/examples/MultisetSpec.scala 31 additions, 2 deletionstests/scalatest/examples/MultisetSpec.scala
Loading
Please register or sign in to comment