different variable representation
authorAlexander Fedotov <soyaxhoya@gmail.com>
Mon, 11 Apr 2016 11:24:30 +0000 (12:24 +0100)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Mon, 11 Apr 2016 11:24:30 +0000 (12:24 +0100)
commit25b40ed8ebcfd9296476bb28d33a1eee064f8d91
tree0e0be1fc1393969dbd16248730a1657a91cd61ae
parent5b3e2d9fac13d73c002c412ca39ae3aa4de1950a
different variable representation
modelchecker/coord.c