implement some member functions in ATNConfigSet class