package nloc; public enum SequenceGenerationMode { EXHAUSTIVE, RANDOMHEADER, ONLYDEFAULT; }