Distruttore propagator_block::~propagator_block
Elimina un oggetto propagator_block.
virtual ~propagator_block();
Requisiti
Header: agents.h
Spazio dei nomi: Concurrency
Questo browser non è più supportato.
Esegui l'aggiornamento a Microsoft Edge per sfruttare i vantaggi di funzionalità più recenti, aggiornamenti della sicurezza e supporto tecnico.
Elimina un oggetto propagator_block.
virtual ~propagator_block();
Header: agents.h
Spazio dei nomi: Concurrency