Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
comfusy-examples [2010/01/17 11:38] philippe.suter |
comfusy-examples [2012/05/12 13:11] (current) 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'' (similar code with fewer variables 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> | <code scala> | ||
| Line 212: | Line 198: | ||
| } | } | ||
| </code> | </code> | ||
| - | ++++ | ||