Start API Documentation stormpy.environments MultiObjectivePrecisionType MultiObjectivePrecisionType¶ class MultiObjectivePrecisionType(*values)¶ Bases: Enum Type of precision for multi-objective model checking ABSOLUTE = 0¶ RELATIVE_TO_DIFF = 1¶