-
Mirco Dotta authored
- 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.
Mirco Dotta authored- 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.
.classpath 747 B
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="tests"/>
<classpathentry kind="src" path="examples"/>
<classpathentry kind="con" path="ch.epfl.lamp.sdt.launching.SCALA_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="lib" path="/usr/local/scala/lib/scala-compiler.jar" sourcepath="/usr/local/scala/src/scala-compiler-src.jar"/>
<classpathentry kind="lib" path="lib/scalatest-0.9.5.jar"/>
<classpathentry kind="lib" path="lib/specs-1.5.0.jar"/>
<classpathentry kind="lib" path="lib/ScalaCheck-1.5.jar" sourcepath="lib/ScalaCheck-1.5-src.jar"/>
<classpathentry kind="output" path="bin"/>
</classpath>