Thanks Sean. Now I get it.
----- Ursprüngliche Mail -----
Von: "Sean Luke" <[log in to unmask]>
An: [log in to unmask]
Gesendet: Donnerstag, 16. Mai 2013 20:09:01
Betreff: Re: Strong GPTyping
On May 16, 2013, at 4:20 AM, Bojan Janisch wrote:
> how do I define which node has to be root? I don't get it from the manual,
> seems like it were mentioned in the beginning of chapter 5.2.11 but were
> completely skipped at the examples.
You're right, I had skipped it because it was the default setting. I shouldn't have done that, so I've updated the manual. Here's what I added:
> Next we need to say what kinds of nodes are permitted as the root of the tree. We do this by specifying the tree's return type. For a node to be permitted as the root of the tree, it must have a return type compatible with this tree return type. Let's say that we want our tree to only have root nodes which have a return type of nil (no boolean allowed):
> gp.tc.size = 1
> gp.tc.0 = ec.gp.GPTreeConstraints
> gp.tc.0.name = tc0
> gp.tc.0.fset = f0
> # Here we define the return type of this GPTreeConstraints
> gp.tc.0.returns = nil
> As it so happens, this is what we already have by default, so putting it all here is a bit redundant.
In short: the root is restricted to those GPNodes whose return type is type-compatible with the return type of the GPTree.
> It would be great if someone got an example of a hierarchical GPTree and
> could explain how a GPType is bounded to a GPConstraint and so to a GPNode,
> because this I also didn't understand from the manual.
Constraints contain GPType names as part of their parameters. For example, a GPNodeConstraint which returns type foo and accepts a left child of type foo and a right child of type bar would be written as:
gp.nc.0 = ec.gp.GPNodeConstraints
gp.nc.0.name = blah
gp.nc.0.returns = foo
gp.nc.size = 2
gp.nc.child.0 = foo
gp.nc.child.1 = bar
You specify that a given kind of GPNode uses this constraints in your function set:
gp.fs.0.func.4 = ec.app.myapp.MyGPNode
gp.fs.0.func.4.nc = blah
Basically the same thing goes for the trees (GPTree and GPTreeConstraints)