package nloc;

public enum SequenceGenerationMode {
  EXHAUSTIVE, RANDOMHEADER, ONLYDEFAULT;
}