verse.analysis.analysis_tree.AnalysisTreeNodeType

class verse.analysis.analysis_tree.AnalysisTreeNodeType(value)

Bases: Enum

Denotes different types of AnalysisTreeNode’s. Can either be simulation traces or reach tubes.