tree 61dfdddb6cc16fd7f2a10ac96cc5c8a41bcc3868
parent 17057444687d94dc976789ccc14294036332bb0d
author Davide Pesavento <davide.pesavento@lip6.fr> 1528655844 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1528763207 -0400

Improve and simplify code with modern C++ features

Change-Id: I83bf5513c2a1f90ba5a59e93c473306864b27d94