From 5e7be44feee0662dde587a429a31f2bafd1f6a6f Mon Sep 17 00:00:00 2001 From: Alexander Fedotov Date: Tue, 19 Apr 2016 21:01:02 +0200 Subject: [PATCH] transitions fix update --- modelchecker/coord.c | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/modelchecker/coord.c b/modelchecker/coord.c index f9dd7e5..48f3b07 100644 --- a/modelchecker/coord.c +++ b/modelchecker/coord.c @@ -998,7 +998,7 @@ trans_t *create_single_rel(sokoban_screen *screen, direction dir) memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t)); } else if ((deltai < i) < gammai){ - uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, ,1 ,1, 0}; + uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 1 ,1, 0}; memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t)); } else { @@ -1058,16 +1058,23 @@ trans_t *create_single_rel(sokoban_screen *screen, direction dir) //Targagent Targbox Target -> Target Targagent Targbox //(1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0) + //(1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 //or //(1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1) + //(1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 //or //(0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0) + //(0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0 //or //(1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0) + //(1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 //or //(1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0) + //(1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 //or //(1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0) + //(0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 + //(0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 relvarset1 = sylvan_set_fromarray(relvars1, 18); if ((i < deltai) < gammai){ uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0}; @@ -1090,7 +1097,7 @@ trans_t *create_single_rel(sokoban_screen *screen, direction dir) memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t)); } else { - uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0}; + uint8_t rel_enc__[18] = {0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1}; memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t)); } trs_current = (trans_t *)malloc(sizeof(trans_t)); -- 2.20.1