Skip to content
GitLab
Explore
Sign in
JuPedSim
JPScore
Issues
#215
Store the result of dynamic_cast, if it is needed again