ConditionalAlgorithmSetting¶

class ConditionalAlgorithmSetting(*values)¶

Bases: Enum

Algorithm used for conditional model checking

BISECTION = 2¶

BISECTION_ADVANCED = 3¶

BISECTION_ADVANCED_PT = 5¶

BISECTION_PT = 4¶

DEFAULT = 0¶

POLICY_ITERATION = 6¶

RESTART = 1¶