hasFinalState method

@Deprecated('This field is deprecated.') @TagNumber(10) bool hasFinalState()

Implementation

@$core.Deprecated('This field is deprecated.')
@$pb.TagNumber(10)
$core.bool hasFinalState() => $_has(9);