1 import "StandardLibrary"
5 consistsOf :: <Graph> Integer
6 consistsOf = resource "consistsOf"
7 instanceOf :: <Graph> Integer
8 instanceOf = resource "instanceOf"
9 areConnected :: <Graph> Integer
10 areConnected = resource "areConnected"
11 from :: <Graph> Integer
12 from = resource "from"
16 element :: <Graph> Integer
17 element = resource "Element"
18 connection :: <Graph> Integer
19 connection = resource "Connection"
21 mapping relation MapDiagrams Integer Integer
23 rule ElementsRule where
28 Statement ?dA consistsOf ?elA
29 Statement ?elA instanceOf element
32 Statement ?dB consistsOf ?elB
33 Statement ?elB instanceOf element
38 rule ConnectionsRule where
40 MapElements ?elA1 ?elB1
41 MapElements ?elA2 ?elB2
44 Statement ?elA1 areConnected ?elA2
47 Statement ?conn instanceOf connection
48 Statement ?conn from ?elB1
49 Statement ?conn to ?elB2
51 foo :: <Graph,Proc> ()
52 foo = transformation OneShotForward where