repos/icfp2013: src/bv.tp comparison

comparison src/bv.tp @ 7:301f16245955

Add support for generating all programs up to size 3 inclusive

author	Mike Pavone <pavone@retrodev.com>
date	Fri, 09 Aug 2013 00:01:05 -0700
parents	538440e1c3d2
children	3f0172ceab81

comparison

equal deleted inserted replaced

-:aac89683606e
+:301f16245955
 			exampleprog <- {
 				root <- fold: input with: (opOr: val acc) startingAt: zero
 				self
 			}
+			//TODO: memoize this to improve runtime for large n
+			allOfSize:inFold? <- :n :infold? {
+				if: n = 1 {
+					res <- #[one zero input]
+					if: infold? {
+						res append: acc
+						res append: val
+					}
+					res
+				} else: {
+					res <- #[]
+					foreach: (allOfSize: n - 1 inFold?: infold?) :idx exp {
+						res append: (opNot: exp)
+						res append: (shl1: exp)
+						res append: (shr1: exp)
+						res append: (shr4: exp)
+						res append: (shr16: exp)
+					}
+					if: n > 2 {
+						numLeft <- 1
+						argTotal <- n - 1
+						while: { numLeft < argTotal } do: {
+							numRight <- argTotal - numLeft
+							choicesRight <- (allOfSize: numRight inFold?: infold?)
+							foreach: (allOfSize: numLeft inFold?: infold?) :idx leftExp {
+								foreach: choicesRight :idx rightExp {
+									res append: (opAnd: leftExp rightExp)
+									res append: (opOr: leftExp rightExp)
+									res append: (opXor: leftExp rightExp)
+									res append: (plus: leftExp rightExp)
+								}
+							}
+							numLeft <- numLeft + 1
+						}
+					}
+					res
+				}
+			}
+			allOfSize <- :n {
+				allOfSize: n inFold?: false
+			}
 		}
 	}
 	test <- :prog {
 		print: (string: prog) . "\n"
 	}
 	main <- {
 		test: (program gentestprog)
 		test: (program exampleprog)
+		prog <- program
+		foreach: (prog allOfSize: 3) :idx tree {
+			prog root! tree
+			test: prog
+		}
 	}
 }

Mercurial > repos > icfp2013

comparison src/bv.tp @ 7:301f16245955