Start API Documentation stormpy.environments NativeLinearEquationSolverMethod NativeLinearEquationSolverMethod¶ class NativeLinearEquationSolverMethod(*values)¶ Bases: Enum Method for linear equation systems with the native solver GAUSS_SEIDEL = 1¶ INTERVAL_ITERATION = 8¶ JACOBI = 0¶ OPTIMISTIC_VALUE_ITERATION = 6¶ POWER = 4¶ RATIONAL_SEARCH = 9¶ SOR = 2¶ SOUND_VALUE_ITERATION = 5¶ WALKER_CHAE = 3¶