Start Developer API Documentation stormpy.numbers.developer.formula stormpy.numbers.developer.formulaΒΆ Warning The stormpy developer API is internal and can be subject to change. Classes FormulaType(*values) Relation(*values)