msr: Modification sur les installations personnelles de CPN-AMI (maj)
Posté le lundi 7 novembre 2005


Bonjour,

Il faut que vous modifiez le fichier suivant si vous avez installé CPN-AMI sur votre machine personnelle. Procédez comme indiqué ci après :

etape 1 :

Allez dans le répertoire :
/Applications/FrameKit.app/Contents/Resources/FRAMEKIT/TOOLS/AMI-Net/PPC_DARWIN/PROD

etape 2 :

Ajoutez à la fin du fichier ctl.prb les macros suivantes :

#define EX(f) (not not step (f))
#define AX(f) (not step not (f))
#define EU(f1, f2) (not not dspan(f1, false) (f2))
#define AU(f1, f2) (not dspan(not (f2), true) \
((not ((step true) and (f1))) and not (f2)))
#define EF(f) (not not dspan(true, false) (f))
#define AF(f) (not dspan(not (f), true) \
((not step true) and not (f)))
#define EG(f) (not not dspan(not not (f), true) \
((not step true) and not not (f)))
#define AG(f) (not dspan(true, false) (not (f)))
#define implies(f1, f2) (not ((f1) and not (f2)))

L’objectif de ces commandes est de vous donnez la syntaxe standard de CTL (syntaxe donnée dans les transparents de MSR ainsi que dans l’annexe jointe au sujet du projet et au sujet du TME).

désolé pour ce contretemps et merci d’avance pour votre compréhension (c’est dur le logiciel libre ;-) )

PS : la modification a été faite sur les eMac


logo-spip E. Saint-James & F. Kordon - Master Informatique - UPMC Valid XHTML 1.0!
Calculé le 21 janvier 2021 à 00h36min