Uses of Class
toolbus.atom.note.Subscribe

Packages that use Subscribe

toolbus.matching

Uses of Subscribe in toolbus.matching

Methods in toolbus.matching that return types with arguments of type Subscribe

java.util.List<Subscribe>

MatchStore.findPartnerlessSubscribeAtoms() Gathers a list of partnerless subscribe atoms.

Methods in toolbus.matching with parameters of type Subscribe

private void	MatchStore.addSubscribeNotePattern(Subscribe subscribeNote, java.util.List<aterm.ATerm> subscribeNotes) Indexes the given subscribe atom.
void	MatchStore.deregisterSubscribeNote(Subscribe subscribeNote) Deregisters the given, instantiated, subscribe atom.
void	MatchStore.registerSubscribeNote(Subscribe subscribeNote) Registers the given, instantiated, subscribe atom.