verse.analysis.AnalysisTree

class verse.analysis.AnalysisTree(root: AnalysisTreeNode)

A tree containing the reachable states the scenario produced.

Methods

collect_leaf_nodes(node, leafs)
contains(other[, strict, tol])	Checks whether this AnalysisTree constains the other AnalysisTree.
dump(fn)	Dumps the AnalysisTree as JSON data to the file "fn".
get_leaf_nodes(root)
height(root)
is_equal(other)	Compares if 2 AnalysisTree's traces are close enough.
leaves()	Return the number of leaves for this tree
load(fn)	Loads the AnalysisTree from the file "fn" as JSON data.
visualize()	Visualizes the AnalysisTree as a tree graph using networkx.
visualize_dot(filename[, otype, font])	Same as visualize, but rather use graphviz to for visualizing the tree.

__init__(root: AnalysisTreeNode) → None

Methods

__delattr__(name, /)	Implement delattr(self, name).
__dir__(/)	Default dir() implementation.
__eq__(value, /)	Return self==value.
__format__(format_spec, /)	Default object formatter.
__ge__(value, /)	Return self>=value.
__getattribute__(name, /)	Return getattr(self, name).
__getstate__(/)	Helper for pickle.
__gt__(value, /)	Return self>value.
__hash__(/)	Return hash(self).
__init__(root)
__init_subclass__	This method is called when a class is subclassed.
__le__(value, /)	Return self<=value.
__lt__(value, /)	Return self<value.
__ne__(value, /)	Return self!=value.
__new__(*args, **kwargs)
__reduce__(/)	Helper for pickle.
__reduce_ex__(protocol, /)	Helper for pickle.
__repr__(/)	Return repr(self).
__setattr__(name, value, /)	Implement setattr(self, name, value).
__sizeof__(/)	Size of object in memory, in bytes.
__str__(/)	Return str(self).
__subclasshook__	Abstract classes can override this to customize issubclass().
_get_all_nodes(root)
_get_len(node, lens)
collect_leaf_nodes(node, leafs)
contains(other[, strict, tol])	Checks whether this AnalysisTree constains the other AnalysisTree.
dump(fn)	Dumps the AnalysisTree as JSON data to the file "fn".
get_leaf_nodes(root)
height(root)
is_equal(other)	Compares if 2 AnalysisTree's traces are close enough.
leaves()	Return the number of leaves for this tree
load(fn)	Loads the AnalysisTree from the file "fn" as JSON data.
visualize()	Visualizes the AnalysisTree as a tree graph using networkx.
visualize_dot(filename[, otype, font])	Same as visualize, but rather use graphviz to for visualizing the tree.

Attributes

__annotations__
__dict__
__doc__
__module__
__weakref__	list of weak references to the object
root	Root node for the tree
nodes	All nodes in the tree.
type	Type of the analysis tree