is_terminated


Description:

public bool is_terminated { get; }

Whether or not this pool has been terminated.