Eclipse Community Forums - RDF feed
https://www.eclipse.org/forums/
Eclipse Community Forumscalled rule
https://www.eclipse.org/forums/index.php/mv/msg/168531/534794/#msg_534794
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)(