StateLabelPreservation

class StateLabelPreservation(*values)

Bases: Enum

Which state labels to preserve during bisimulation

ALL = 1

DEFAULT = 0

FORMULA_INDIVIDUAL = 4

FORMULA_PROPOSITIONAL = 3

NONE = 2