Next: LinkingAboveEnd, Previous: LinkingAbove, Up: Principles list
principle.linkingAboveBelow1or2Start
D1
, D2
, D3
Start: vec(label(D1) set(label(D2)))
Start: ^.D3.entry.start
LinkingBelow1or2Start
(priority 100)
This principle is from the family of linking principles.
For all edges from v to v' labeled l on D1
,
it stipulates the constraint:
Start
(l) is not empty, then on D2
,
v' must be either the daughter or the daughter of the daughter
of a node v” above v, and the first edge on the path
from v to v' must be labeled by a label in
Start
(l)
Here is the definition of the LinkingBelow1or2Start
constraint
functor:
%% Copyright 2001-2008 %% by Ralph Debusmann <rade@ps.uni-sb.de> (Saarland University) and %% Denys Duchier <duchier@ps.uni-sb.de> (LIFO, Orleans) and %% Jorge Marques Pelizzoni <jpeliz@icmc.usp.br> (ICMC, Sao Paulo) and %% Jochen Setz <info@jochensetz.de> (Saarland University) %% functor import % System(show) Helpers(checkModel) at 'Helpers.ozf' Opti(isIn) at 'Opti.ozf' export Constraint define proc {Constraint Nodes G Principle FD FS Select} DVA2DIDA = Principle.dVA2DIDA ArgRecProc = Principle.argRecProc %% D1DIDA = {DVA2DIDA 'D1'} D2DIDA = {DVA2DIDA 'D2'} DIDA2LabelLat = G.dIDA2LabelLat D1LabelLat = {DIDA2LabelLat D1DIDA} D2LabelLat = {DIDA2LabelLat D2DIDA} D1LAs = D1LabelLat.constants D2LAs = D2LabelLat.constants in if {Helpers.checkModel 'LinkingBelow1or2Start.oz' Nodes [D1DIDA#daughtersL D2DIDA#daughters D2DIDA#daughtersL]} then D2DaughtersMs = {Map Nodes fun {$ Node} Node.D2DIDA.model.daughters end} in for Node1 in Nodes do for Node2 in Nodes do for LA in D1LAs do if {Not {Opti.isIn Node2.index Node1.D1DIDA.model.daughtersL.LA}=='out'} then StartLALMRec = {ArgRecProc 'Start' o('^': Node1)} StartLM = StartLALMRec.LA %% D2Below1or2Ms = {Map D2LAs fun {$ LA} D2Below1M = Node1.D2DIDA.model.daughtersL.LA D2Below2M = {Select.union D2DaughtersMs D2Below1M} in {FS.union D2Below1M D2Below2M} end} D2Below1or2M = {Select.union D2Below1or2Ms StartLM} in {FD.impl {FS.reified.include Node2.index Node1.D1DIDA.model.daughtersL.LA} {FD.impl {FD.nega {FS.reified.equal StartLM FS.value.empty}} {FS.reified.include Node2.index D2Below1or2M}} 1} end end end end end end end