7.2.63 SameEdges principle

• identifier: principle.relative
• dimension variables: D1, D2
• argument variables: none
• default values: none
• model record: empty
• constraints: SameEdges (priority 130)
• edge constraints: none

This principle assumes that the Graph principle (Graph) is used on dimensions D1 and D2.

It states that the graph on dimension D1 must have the same edges as the graph on dimension D2.

Here is the definition of the SameEdges 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)
export
   Constraint
define
   proc {Constraint Nodes G Principle FD FS Select}
      DVA2DIDA = Principle.dVA2DIDA
      D1DIDA = {DVA2DIDA 'D1'}
      D2DIDA = {DVA2DIDA 'D2'}
   in
      for Node in Nodes do
	 {FS.equal Node.D1DIDA.model.daughters Node.D2DIDA.model.daughters}
      end
   end
end