repositories
/
mc1516pa.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8054a78
)
transitions fix update
author
Alexander Fedotov
<soyaxhoya@gmail.com>
Tue, 19 Apr 2016 19:01:02 +0000
(21:01 +0200)
committer
Alexander Fedotov
<soyaxhoya@gmail.com>
Tue, 19 Apr 2016 19:01:02 +0000
(21:01 +0200)
modelchecker/coord.c
patch
|
blob
|
history
diff --git
a/modelchecker/coord.c
b/modelchecker/coord.c
index
f9dd7e5
..
48f3b07
100644
(file)
--- 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){
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 {
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)
//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)
//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)
//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)
//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)
//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)
//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};
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 {
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));
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
trs_current = (trans_t *)malloc(sizeof(trans_t));