BDDVAR relvars[6] = {i * 6, i * 6 + 1, i * 6 + 2, i * 6 + 3, i * 6 + 4, i * 6 + 5};
BDDSET relvarset = sylvan_set_fromarray(relvars, 6);
uint8_t rel_enc[6] = {1, 1, 0, 0, 1, 1};
-
trs_current = (trans_t *)malloc(sizeof(trans_t));
trs_current->bdd = sylvan_cube(relvarset, rel_enc);
trs_current->varset.varset = relvarset;
//Agent Target -> Free Targagent
//(1 0 0 0 1 1 0 1 1 1 1 0)
//or
- //(0 1 1 1 1 0 0 1 1 1 1 0)
+ //(0 1 1 1 1 0 1 0 0 0 1 1)
relvarset = sylvan_set_fromarray(relvars, 12);
if (i < deltai){
uint8_t rel_enc2[12] = {1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0};
memcpy(rel_enc, rel_enc2, 12*sizeof(uint8_t));
}
else {
- uint8_t rel_enc2[12] = {0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0};
+ uint8_t rel_enc2[12] = {0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1};
memcpy(rel_enc, rel_enc2, 12*sizeof(uint8_t));
}
trs_current = (trans_t *)malloc(sizeof(trans_t));
trs_current->next_rel = trs;
trs = trs_current;
+
}
else if (check_space(x, y, dir, 1, bm) == 1 && check_space(x, y, dir, 2, bm) == 1){
xy_bddvar_map *bddvar = getxy(x + xdelta, y + ydelta, bm->f);
trs = trs_current;
//Agent Box Box -> Agent Box Box
- //(1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0)
+ //(1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 (i delta gamma)
//or
- //(0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1)
+ //(0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1) (delta gamma i)
//or
- //(0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0)
+ //(0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0) (gamma i delta)
//or
- //(1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0)
+ //(1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0) (i gamma delta)
//or
- //(0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0)
+ //(0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0) (delta i gamma)
//or
- //(0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1)
+ //(0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1) (gamma delta i)
BDDVAR relvars1[18] = {i*6, i*6+1, i*6+2, i*6+3, i*6+4, i*6+5, deltai, deltai+1, deltai+2, deltai+3, deltai+4, deltai+5, gammai, gammai+1, gammai+2, gammai+3, gammai+4, gammai+5};
BDD relvarset1 = sylvan_set_fromarray(relvars1, 18);
uint8_t rel_enc1[18];
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
- uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1};
+ else if (deltai < i && i < gammai){
+ uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
else {
- uint8_t rel_enc__[18] = {1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0};
+ uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
trs = trs_current;
//Agent Box Targbox -> Agent Box Targbox (LEFT || UP)
- //(1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0)
+ //(1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0) (i delta gamma)
//or
- //(0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1)
+ //(0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1) (delta gamma i)
//or
- //(1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0)
+ //(1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0) (gamma i delta)
//or
- //(1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0)
+ //(1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0) (i gamma delta)
//or
- //(0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0)
+ //(0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0) (delta i gamma)
//or
- //(1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1)
+ //(1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1) (gamma delta i)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 1)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0};
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};
+ else if (deltai < i && 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};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
else {
//or
//(0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && deltai < gammai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
//or
//(1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0)
relvarset1 = sylvan_set_fromarray(relvars1, 18);
- if ((i < deltai) < gammai){
+ if (i < deltai && 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};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < gammai) < i){
+ else if (deltai < gammai && gammai < i){
uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((gammai < i) < deltai){
+ else if (gammai < i && i < deltai){
uint8_t rel_enc__[18] = {0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((i < gammai) < deltai){
+ else if (i < gammai && gammai < deltai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
- else if ((deltai < i) < gammai){
+ else if (deltai < i && i < gammai){
uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0};
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));
trs_current = trs;
//test
+ /*
switch(dir){
case LEFT:
if (trs_current != NULL) printf("LEFT ok!\n");
printf("Num of trans relations:%d\n", countTrans(trs));
break;
}
-
+ */
return trs;
}