public IEnumerable<string> NextStateNames { get; private set; }

Public Property NextStateNames As IEnumerable(Of String)
	Get
	Private Set

public:
property IEnumerable<String^>^ NextStateNames {
	IEnumerable<String^>^ get ();
	private: void set (IEnumerable<String^>^ value);
}