Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
comfusy-examples [2010/01/17 11:27] philippe.suter |
comfusy-examples [2012/05/12 13:11] losa |
||
---|---|---|---|
Line 3: | Line 3: | ||
* ''ScaleWeights'' | * ''ScaleWeights'' | ||
- | ++++click to reveal the code| | ||
<code scala> | <code scala> | ||
import synthesis.Definitions._ | import synthesis.Definitions._ | ||
Line 38: | Line 37: | ||
} | } | ||
</code> | </code> | ||
- | ++++ | ||
* ''SecondsToTime'' | * ''SecondsToTime'' | ||
- | ++++click to reveal the code| | ||
<code scala> | <code scala> | ||
import synthesis.Definitions._ | import synthesis.Definitions._ | ||
Line 63: | Line 60: | ||
} | } | ||
</code> | </code> | ||
- | ++++ | ||
* ''SetConstraints'' | * ''SetConstraints'' | ||
- | ++++click to reveal the code| | ||
<code scala> | <code scala> | ||
import synthesis.Definitions._ | import synthesis.Definitions._ | ||
Line 91: | Line 86: | ||
} | } | ||
</code> | </code> | ||
- | ++++ | ||
* ''SplitSetsInABalancedWay'' | * ''SplitSetsInABalancedWay'' | ||
- | ++++click to reveal the code| | ||
<code scala> | <code scala> | ||
import synthesis.Definitions._ | import synthesis.Definitions._ | ||
Line 122: | Line 115: | ||
} | } | ||
</code> | </code> | ||
- | ++++ | ||
* ''FastExponentiation'' | * ''FastExponentiation'' | ||
- | ++++click to reveal the code| | ||
<code scala> | <code scala> | ||
import synthesis.Definitions._ | import synthesis.Definitions._ | ||
Line 149: | Line 140: | ||
} | } | ||
</code> | </code> | ||
- | ++++ | ||
* ''PrimeHeuristic'' | * ''PrimeHeuristic'' | ||
- | ++++click to reveal the code| | ||
<code scala> | <code scala> | ||
import synthesis.Definitions._ | import synthesis.Definitions._ | ||
Line 173: | Line 162: | ||
} | } | ||
</code> | </code> | ||
- | ++++ | ||
- | * ''NewYearSong'' (was used to compute the distribution of names in [[http://www.youtube.com/watch?v=E2aPFdu0FNA|this song]]) | + | * ''NewYearSong'' (similar code with fewer variables was used to compute the distribution of names in [[http://www.youtube.com/watch?v=E2aPFdu0FNA|this song]]) |
- | ++++click to reveal the code| | + | <code scala> |
import synthesis.Definitions._ | import synthesis.Definitions._ | ||
- | |||
- | <code scala> | ||
object NewYearSong { | object NewYearSong { | ||
def main(args : Array[String]) : Unit = { | def main(args : Array[String]) : Unit = { | ||
Line 212: | Line 198: | ||
} | } | ||
</code> | </code> | ||
- | ++++ | ||
- | |||
- |