Mercurial > repos > icfp2013
comparison src/driver.tp @ 56:f864792a1b17
Improve prefiltering in program generator. Make solver use similar logic to driver when run standalone.
| author | Mike Pavone <pavone@retrodev.com> |
|---|---|
| date | Sun, 11 Aug 2013 14:11:47 -0700 |
| parents | e634e81c4c84 |
| children |
comparison
equal
deleted
inserted
replaced
| 55:85242b96adcc | 56:f864792a1b17 |
|---|---|
| 34 foreach: filtered :idx el { | 34 foreach: filtered :idx el { |
| 35 print: "Generating programs for operators: " . ((el operators) fold: "" with: :acc el { acc . el }) . "\n" | 35 print: "Generating programs for operators: " . ((el operators) fold: "" with: :acc el { acc . el }) . "\n" |
| 36 probtrees <- prog allOfSize: numops withOps: (el operators) | 36 probtrees <- prog allOfSize: numops withOps: (el operators) |
| 37 print: "Generated " . (string: (probtrees length)) . " programs\n" | 37 print: "Generated " . (string: (probtrees length)) . " programs\n" |
| 38 probtrees <- prog filterTrees: probtrees (el operators) | 38 probtrees <- prog filterTrees: probtrees (el operators) |
| 39 print: "Running classifier " . (string: (probtrees length)) . " programs\n" | 39 print: "Running classifier on " . (string: (probtrees length)) . " programs\n" |
| 40 info <- solver classify: prog probtrees nt | 40 info <- solver classify: prog probtrees nt |
| 41 solver solve: (el id) withAuth: authKey andInfo: info andProg: prog | 41 solver solve: (el id) withAuth: authKey andInfo: info andProg: prog |
| 42 } | 42 } |
| 43 } | 43 } |
| 44 } else: { | 44 } else: { |