ExplorationOrder

Warning

The stormpy developer API is internal and can be subject to change.

class ExplorationOrder(*values)

Bases: Enum

Order in which states are explored

BFS = 1

DFS = 0