Fichier arbre_1a.jps — Modifié le 3 Mai 2006 à 14 h 15
%% gh
%% Arbre d'une expression logique
%% échelle et étendue de l'image
60 setxunit
1 8 setxrange
-.5 4.5 setyrange
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% définitions des couleurs
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
/coul0 {0 0 0 0.5 setcmykcolor} def %gris
/coul1 {noir} def
/coul2 {orange} def
/coul3 {rouge} def
/coul4 {bleu} def
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Les feuilles de l'arbre
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
coul1
1.5 setlinewidth
5 setdboxit %% reglage bordure de l’encadrement
/linearc .1 def %% pour arrondir les angles
setPalatino
(node1) bnode
(Et) 4 4 [1.5 dup] cctext
(node22) bnode
(Ou) 6 3 [1.5 dup] cctext
(node21) bnode
(Ou) 2 3 [1.5 dup] cctext
(node31) bnode
(p) 1.5 2 [1.5 dup] cctext
(node32) bnode
(q) 2.5 2 [1.5 dup] cctext
(node33) bnode
(Non) 5 2 [1.5 dup] cctext
(node34) bnode
(Et) 7 2 [1.5 dup] cctext
(node41) bnode
(p) 5 1 [1.5 dup] cctext
(node42) bnode
(p) 6.5 1 [1.5 dup] cctext
(node43) bnode
(Non) 7.5 1 [1.5 dup] cctext
(node51) bnode
(q) 7.5 0 [1.5 dup] cctext
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Les branches de l'arbre
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
(node1) (node21) (-) ncline
(node1) (node22) (-) ncline
(node21) (node31) (-) ncline
(node21) (node32) (-) ncline
(node22) (node33) (-) ncline
(node22) (node34) (-) ncline
(node33) (node41) (-) ncline
(node34) (node42) (-) ncline
(node34) (node43) (-) ncline
(node43) (node51) (-) ncline