soda\_analyzer.state\_class.termination\_list ============================================= .. currentmodule:: soda_analyzer .. autoproperty:: state_class.termination_list