repositories
/
mc1516pa.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
41789af
)
up
author
Alexander Fedotov
<soyaxhoya@gmail.com>
Thu, 21 Apr 2016 16:18:58 +0000
(18:18 +0200)
committer
Alexander Fedotov
<soyaxhoya@gmail.com>
Thu, 21 Apr 2016 16:18:58 +0000
(18:18 +0200)
modelchecker/coord.c
patch
|
blob
|
history
diff --git
a/modelchecker/coord.c
b/modelchecker/coord.c
index
9f179c6
..
6325091
100644
(file)
--- a/
modelchecker/coord.c
+++ b/
modelchecker/coord.c
@@
-271,9
+271,7
@@
state_t *explstate(state *init, rels *rls, state *g){
if (check_goal(new, g->bdd, init->vars.varset) == 0){
lurd_t *lrd = (lurd_t *)malloc(sizeof(lurd_t));
state_t *new_state = (state_t *)malloc(sizeof(state_t));
if (check_goal(new, g->bdd, init->vars.varset) == 0){
lurd_t *lrd = (lurd_t *)malloc(sizeof(lurd_t));
state_t *new_state = (state_t *)malloc(sizeof(state_t));
- printf("here1\n");
memcpy(lrd, tmp_state->lrd, sizeof(lurd_t));
memcpy(lrd, tmp_state->lrd, sizeof(lurd_t));
- printf("here2\n");
new_state->bdd = new;
new_state->vars = init->vars;
lrd = lappend(lrd, 'l');
new_state->bdd = new;
new_state->vars = init->vars;
lrd = lappend(lrd, 'l');
@@
-337,11
+335,9
@@
state_t *explstate(state *init, rels *rls, state *g){
if (new != sylvan_false && new != tmp_state->bdd){
if (check_visited(new, visited, init->vars.varset) == 0){
if (check_goal(new, g->bdd, init->vars.varset) == 0){
if (new != sylvan_false && new != tmp_state->bdd){
if (check_visited(new, visited, init->vars.varset) == 0){
if (check_goal(new, g->bdd, init->vars.varset) == 0){
- printf("Here1\n");
lurd_t *lrd = (lurd_t *)malloc(sizeof(lurd_t));
state_t *new_state = (state_t *)malloc(sizeof(state_t));
memcpy(lrd, tmp_state->lrd, sizeof(lurd_t));
lurd_t *lrd = (lurd_t *)malloc(sizeof(lurd_t));
state_t *new_state = (state_t *)malloc(sizeof(state_t));
memcpy(lrd, tmp_state->lrd, sizeof(lurd_t));
- printf("Here2\n");
new_state->bdd = new;
new_state->vars = init->vars;
new_state->bdd = new;
new_state->vars = init->vars;