verse.analysis.incremental.CachedReachTrans
- class verse.analysis.incremental.CachedReachTrans(inits: Dict[str, List[float]], transition: int, mode: List[str], dest: List[float], reset: List[float], reset_idx: List[int], paths: List[verse.parser.parser.ModePath])
Bases:
object