dots property

Implementation

final List<NfaState> dots = [];