Searched refs:Fact (Results 1 – 5 of 5) sorted by relevance
975 if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) { in lock() local977 Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact->loc(), in lock()2219 for (const auto &Fact : ExitSet) { in intersectAndWarn() local2220 const FactEntry &ExitFact = FactMan[Fact]; in intersectAndWarn()2226 *EntryIt = Fact; in intersectAndWarn()2234 for (const auto &Fact : EntrySetOrig) { in intersectAndWarn() local2235 const FactEntry *EntryFact = &FactMan[Fact]; in intersectAndWarn()
2003 Inference in Fact Retrieval Systems . . 707--712
15087 title = "Heuristic Approach to Inductive Inference in Fact Retrieval Systems",
1917 # From the Fact File, Lithuanian State Department of Tourism
11159 # sw4 Used in conjunction with S4 for comm interface control - Fact 011161 # sw5 Secondary Channel Control (Hardware implementation only) - Fact 0