|
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 | |||||||||