reachability property

Reachability reachability
final

The new reachability state.

Implementation

final Reachability reachability;