Home
last modified time | relevance | path

Searched refs:toflip (Results 1 – 19 of 19) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dwalksat.cpp130 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 …]
H A Dyalsat.h47 void flipvar(uint32_t toflip);
H A Dccnr_cms.h53 void flipvar(uint32_t toflip);
H A Dwalksat.h47 void flipvar(uint32_t toflip);
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dwalksat.cpp130 void WalkSAT::WalkSAT::flipvar(uint32_t toflip) in flipvar() argument
134 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 …]
H A Dyalsat.h47 void flipvar(uint32_t toflip);
H A Dccnr_cms.h53 void flipvar(uint32_t toflip);
H A Dwalksat.h47 void flipvar(uint32_t toflip);
/dports/science/rdkit/rdkit-Release_2021_03_5/Code/GraphMol/CIPLabeler/
H A DDigraph.cpp112 std::vector<Edge *> toflip; in changeRoot() local
118 toflip.push_back(e); in changeRoot()
123 for (auto &e : toflip) { in changeRoot()
/dports/games/openbor3482/openbor-2c1ecd7/engine/
H A Dopenbor.h1014 char toflip:8; // Flag to determine if flashes flip or not member
H A Dopenbor.c5352 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()
/dports/games/openbor3711/openbor-6ec17fa/engine/
H A Dopenbor.h1037 int toflip:8; // Flag to determine if flashes flip or not
H A Dopenbor.c5453 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()
/dports/games/openbor3979/openbor-2bcf25b/engine/
H A Dopenbor.h1067 int toflip; // Flag to determine if flashes flip or not member
H A Dopenbor.c7942 newchar->toflip = GET_INT_ARG(1); in load_cached_model()
16596 if(flash->modeldata.toflip) in do_attack()
/dports/games/openbor4432/openbor-ba1eb4f/engine/
H A Dopenbor.h1795 int toflip; // Flag to determine if flashes flip or not member
H A Dopenbor.c9232 newchar->toflip = GET_INT_ARG(1); in load_cached_model()
19384 if(flash->modeldata.toflip) in do_attack()
/dports/games/openbor/openbor-3caaddd5/engine/
H A Dopenbor.h2282 int toflip; // Flag to determine if flashes flip or not member
H A Dopenbor.c9615 newchar->toflip = GET_INT_ARG(1); in load_cached_model()
19958 if (flash->modeldata.toflip) in spawn_attack_flash()