bimap helper added
authorAlexander Fedotov <soyaxhoya@gmail.com>
Sun, 10 Apr 2016 08:57:30 +0000 (09:57 +0100)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Sun, 10 Apr 2016 08:57:30 +0000 (09:57 +0100)
commitd0ee02a16e9266da088b78ab8d2982f1c215fa1b
treee5183febe944a253123edc40b3652ad609e93005
parentc8455397d13fa68cd94263f6d5e00797bed58d27
bimap helper added
modelchecker/coord.c