OrderedATNConfigSet constructor

OrderedATNConfigSet()