|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SndMsg | |
---|---|
toolbus.matching |
Uses of SndMsg in toolbus.matching |
---|
Methods in toolbus.matching that return types with arguments of type SndMsg | |
---|---|
java.util.List<SndMsg> |
MatchStore.findPartnerlessSendMessageAtoms()
Gathers a list of partnerless message sending atoms. |
Methods in toolbus.matching with parameters of type SndMsg | |
---|---|
private void |
MatchStore.addSendMessagePattern(SndMsg message,
java.util.List<aterm.ATerm> receiveMessages)
Indexes the given send message atom. |
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |