want to protect a
ve have a complex
ented on the figure
tements).
CONSTRAINT.
create a hyperclass
h carries, among
MULA; all classes
inherit of the
expressed in an
being rather simple,
v. This body may
ips belonging to the
CANNOT, linking
ts.
X
MISES
CANNOT |
JLA
STRAINT and its
STRAINT has to be
are various a.d.t.; a
According to a
theory of categories
be associated with
uild these necessary
ositionning (Titeux,
/ork structuring, the
:d tool.
In the following example, shown on the figure 16,
we want to express that any arc of the water network
cannot intersect any arc of the medium-voltage
network. Of course, it requires some computation in
3-D in order to determine the superimposition of
VERTEX
URNHURE — VERTEX
Ar
+
X
=
VHVAREA
arcs, and the distance between the two superimposed
auxiliary points. The structure of figure 15 uses
simultaneously the concepts of prototype, of
structure, and of constraint.
LINEAR
VOMPONEN
POINT
[pa uem
VERY HIGH
| VOLTAGE
HIGH
| VOLTAGE
Ww. ue =
VERTEX:
FURNITURE
| | end
; [M MV AREA
MV:VERTEX
+
À
COMPONENT
NV:
POIN
FURNITURE:
STRUCTURE
MEDIUM
VOLTAGE
ly
A
ufi
LV-VERTEX n
x LOW
:( VOLTAGE
LV:AREA
A
WATER: |
VERTEX LA S
FURNITURE LH
Le] mr
LA | WATER
[xl WATER:
AREA WATER:ARC \
WATER: am
VERTEX :
POINT
\ ) C FURNITURE
eie, oos m
WATER:
LINEAR
COMPONENT
N
Fig. 16 : A complex constraint working on two networks.
45
|
|
|
|
|
|
Eee Een EEE ses Fa