verse.analysis.incremental.CachedRTTrans

class verse.analysis.incremental.CachedRTTrans(asserts: List[str], transitions: List[verse.analysis.incremental.CachedReachTrans], node_ids: Set[Tuple[int, int]])

Bases: object

__init__(asserts: List[str], transitions: List[CachedReachTrans], node_ids: Set[Tuple[int, int]]) → None