hi,
i would like called this rule in another rule
i do thisModule. AllEvent(goal) but it not accept
iwould like how i can called this rule?
rule AllEvent(goal:Sequence(uml!PackageableElement)) {to g : eventb!BAnyEvent (name<-'M1'), fi : distinct eventb!BAnyEvent foreach(v in goal)( name<-v.name) } thanks
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
