actor-framework
|
Represents pre- and postconditions for receive loops. More...
#include <blocking_actor.hpp>
Public Member Functions | |
virtual bool | pre () |
Returns whether a precondition for receiving a message still holds. | |
virtual bool | post () |
Returns whether a postcondition for receiving a message still holds. | |
Represents pre- and postconditions for receive loops.