verse.analysis.incremental.ReachTubeCache

class verse.analysis.incremental.ReachTubeCache

Bases: object

Methods

add_tube
check_hit
get_cached_inits
iter_tree
query_cont

__init__()