verse.analysis.simulator

Functions

checkHeight(root, max_height)

check_sim_transitions(agent, guards, cont, ...)

convertEnumToStr(inp, agent, dl)

convertStrToEnum(inp, agent, dl)

disc_field(field, agent)

pack_env(agent, ego_ty_name, cont, disc, ...)

red(s)

Classes

SimConsts(time_step, lane_map, run_num, ...)

Simulator(config)