verse.analysis.incremental

Functions

combine_all(inits[, stars])
convert_reach_trans(agent_id, ...)
convert_sim_trans(agent_id, transit_agents, ...)
reach_trans_suit(a, b)
sim_trans_suit(a, b)
to_simulate(old_agents, new_agents, cached)

Classes

CachedRTTrans(asserts, transitions, node_ids)
CachedReachTrans(inits, transition, mode, ...)
CachedSegment(trace, asserts, transitions, ...)
CachedTransition(inits, transition, disc, ...)
CachedTube(tube)
ReachTubeCache()
SimTraceCache()
TubeCache()