public OrderedATNConfigSet() {this.configLookup = new LexerConfigHashSet();}

public OrderedATNConfigSet ( ) { this . configLookup = new LexerConfigHashSet ( ) ; }
public OrderedATNConfigSet(){this.configLookup = new LexerConfigHashSet();}
