Start Developer API Documentation stormpy.numbers.developer clear_variable_pool clear_variable_pool¶ Warning The stormpy developer API is internal and can be subject to change. clear_variable_pool() → None¶ Clear variable pool and remove all variables