choice::has_value-Methode
Überprüft, ob dieser choice Nachrichtenblock noch mit einem Wert initialisiert wurde.
bool has_value() const;
Rückgabewert
true, wenn der Block einen Wert erhalten hat; andernfalls false.
Anforderungen
Header: agents.h
Namespace: Parallelität