Searched refs:toflip (Results 1 – 19 of 19) sorted by relevance
130 void WalkSAT::WalkSAT::flipvar(uint32_t toflip)134 changed[toflip] = numflip;136 if (assigns[toflip] == l_True)137 toenforce = Lit(toflip, true);139 toenforce = Lit(toflip, false);141 assert(value(toflip) != l_Undef);142 assigns[toflip] = assigns[toflip] ^ true;156 assert(breakcount[toflip] > 0);157 breakcount[toflip]--;208 breakcount[toflip]++;[all …]
47 void flipvar(uint32_t toflip);
53 void flipvar(uint32_t toflip);
130 void WalkSAT::WalkSAT::flipvar(uint32_t toflip) in flipvar() argument134 changed[toflip] = numflip; in flipvar()136 if (assigns[toflip] == l_True) in flipvar()137 toenforce = Lit(toflip, true); in flipvar()139 toenforce = Lit(toflip, false); in flipvar()141 assert(value(toflip) != l_Undef); in flipvar()142 assigns[toflip] = assigns[toflip] ^ true; in flipvar()156 assert(breakcount[toflip] > 0); in flipvar()157 breakcount[toflip]--; in flipvar()208 breakcount[toflip]++; in flipvar()[all …]
112 std::vector<Edge *> toflip; in changeRoot() local118 toflip.push_back(e); in changeRoot()123 for (auto &e : toflip) { in changeRoot()
1014 char toflip:8; // Flag to determine if flashes flip or not member
5352 newchar->toflip = GET_INT_ARG(1); in load_cached_model()11897 …if(flash->modeldata.toflip) flash->direction = (e->x > self->x); // Now the flash will flip dep… in do_attack()
1037 int toflip:8; // Flag to determine if flashes flip or not
5453 newchar->toflip = GET_INT_ARG(1); in load_cached_model()12110 …if(flash->modeldata.toflip) flash->direction = (e->x > self->x); // Now the flash will flip dep… in do_attack()
1067 int toflip; // Flag to determine if flashes flip or not member
7942 newchar->toflip = GET_INT_ARG(1); in load_cached_model()16596 if(flash->modeldata.toflip) in do_attack()
1795 int toflip; // Flag to determine if flashes flip or not member
9232 newchar->toflip = GET_INT_ARG(1); in load_cached_model()19384 if(flash->modeldata.toflip) in do_attack()
2282 int toflip; // Flag to determine if flashes flip or not member
9615 newchar->toflip = GET_INT_ARG(1); in load_cached_model()19958 if (flash->modeldata.toflip) in spawn_attack_flash()