Defined in File bitrl_types.h
Dynamically sized row vector.
Typedef bitrl::DynMat
Typedef bitrl::envs::grid_world::detail::board_mask