Home
last modified time | relevance | path

Searched refs:foundConflict (Results 1 – 7 of 7) sorted by relevance

/dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/
H A Dfield_ref_set.cpp69 bool foundConflict = false; in findConflicts() local
73 return foundConflict; in findConflicts()
88 foundConflict = true; in findConflicts()
93 return foundConflict; in findConflicts()
/dports/security/vault/vault-1.8.2/vendor/github.com/apple/foundationdb/fdbserver/workloads/
H A DConflictRange.actor.cpp212 state bool foundConflict = false; in conflictRangeClient()
227 foundConflict = true; in conflictRangeClient()
230 if( foundConflict ) { in conflictRangeClient()
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dsimplex_update.h225 bool foundConflict() const { return d_foundConflict; } in foundConflict() function
H A Dfc_simplex.cpp420 case ConflictFound: return inf.foundConflict(); in debugCheckWitness()
489 return selected.foundConflict() || diff == selected.errorsChange(); in debugSelectedErrorDropped()
504 return selected.foundConflict(); in debugUpdatedBasic()
H A Dsoi_simplex.cpp332 case ConflictFound: return inf.foundConflict(); in debugCheckWitness()
/dports/math/vampire/vampire-4.5.1/DP/
H A DSimpleCongruenceClosure.cpp613 bool foundConflict = false; in checkPositiveDistincts() local
631 foundConflict = true; in checkPositiveDistincts()
638 return !foundConflict; in checkPositiveDistincts()
/dports/games/brogue/BrogueCE-1.10.1/src/brogue/
H A DMonsters.c2204 boolean foundConflict = false; in monsterSwarmDirection() local
2216 foundConflict = true; in monsterSwarmDirection()
2220 if (!foundConflict) { in monsterSwarmDirection()