complete method

void complete(dynamic left, dynamic right)

Implementation

void complete(left, right) {
  var copy = left.nextState(right);
  states.add(copy);
}