1 | # Copyright 2006 by Sean Luke and George Mason University
|
---|
2 | # Licensed under the Academic Free License version 3.0
|
---|
3 | # See the file "LICENSE" for more information
|
---|
4 |
|
---|
5 | parent.0 = ../../gp/koza/koza.params
|
---|
6 |
|
---|
7 |
|
---|
8 | # Stolen from koza/params -- overwriting just
|
---|
9 | # a little for readability
|
---|
10 | # You need to create at least one function set,
|
---|
11 | # called "f0", which your first tree will use.
|
---|
12 |
|
---|
13 | gp.fs.size = 1
|
---|
14 | gp.fs.0.name = f0
|
---|
15 | gp.fs.0.size = 10
|
---|
16 | gp.fs.0.func.0 = ec.app.edge.func.Double
|
---|
17 | gp.fs.0.func.0.nc = nc2
|
---|
18 | gp.fs.0.func.1 = ec.app.edge.func.Bud
|
---|
19 | gp.fs.0.func.1.nc = nc2
|
---|
20 | gp.fs.0.func.2 = ec.app.edge.func.Split
|
---|
21 | gp.fs.0.func.2.nc = nc2
|
---|
22 | gp.fs.0.func.3 = ec.app.edge.func.Loop
|
---|
23 | gp.fs.0.func.3.nc = nc2
|
---|
24 | gp.fs.0.func.4 = ec.app.edge.func.Reverse
|
---|
25 | gp.fs.0.func.4.nc = nc1
|
---|
26 | gp.fs.0.func.5 = ec.app.edge.func.Accept
|
---|
27 | gp.fs.0.func.5.nc = nc1
|
---|
28 | gp.fs.0.func.6 = ec.app.edge.func.Start
|
---|
29 | gp.fs.0.func.6.nc = nc1
|
---|
30 | gp.fs.0.func.7 = ec.app.edge.func.Zero
|
---|
31 | gp.fs.0.func.7.nc = nc0
|
---|
32 | gp.fs.0.func.8 = ec.app.edge.func.One
|
---|
33 | gp.fs.0.func.8.nc = nc0
|
---|
34 | gp.fs.0.func.9 = ec.app.edge.func.Epsilon
|
---|
35 | gp.fs.0.func.9.nc = nc0
|
---|
36 |
|
---|
37 | #
|
---|
38 | # Uncomment this to use the additional operations
|
---|
39 | #
|
---|
40 |
|
---|
41 | gp.fs.0.size = 14
|
---|
42 | gp.fs.0.func.10 = ec.app.edge.func.BBud
|
---|
43 | gp.fs.0.func.10.nc = nc2
|
---|
44 | gp.fs.0.func.11= ec.app.edge.func.BLoop
|
---|
45 | gp.fs.0.func.11.nc = nc2
|
---|
46 | gp.fs.0.func.12 = ec.app.edge.func.BStart
|
---|
47 | gp.fs.0.func.12.nc = nc1
|
---|
48 | gp.fs.0.func.13 = ec.app.edge.func.BAccept
|
---|
49 | gp.fs.0.func.13.nc = nc1
|
---|
50 |
|
---|
51 | #
|
---|
52 | # We specify our problem here
|
---|
53 | #
|
---|
54 |
|
---|
55 | eval.problem = ec.app.edge.Edge
|
---|
56 | eval.problem.data = ec.app.edge.EdgeData
|
---|
57 |
|
---|
58 | #
|
---|
59 | # Here we specify the particular files to do induction over
|
---|
60 | #
|
---|
61 |
|
---|
62 | eval.problem.allpos = input/1.out.gz
|
---|
63 | eval.problem.allneg = input/1a.out.gz
|
---|
64 | eval.problem.testpos = input/1s.out.gz
|
---|
65 | eval.problem.testneg = input/1sa.out.gz
|
---|
66 |
|
---|
67 | #
|
---|
68 | # Uncomment this to test generalization (much slower)
|
---|
69 | #
|
---|
70 |
|
---|
71 | eval.problem.generalize = true
|
---|