LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
comfusy-examples [2010/01/17 11:28]
vkuncak
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> <code scala>
Line 212: Line 198:
 } }
 </​code>​ </​code>​
-++++