@uml Given a starting configuration set, figure out all ATN configurations we can reach upon input {@code t}. Parameter {@code reach} is a return parameter.
See Implementation
@uml Given a starting configuration set, figure out all ATN configurations we can reach upon input {@code t}. Parameter {@code reach} is a return parameter.