Home
last modified time | relevance | path

Searched refs:Forest (Results 1 – 25 of 29) sorted by relevance

12

/external/google-fruit/include/fruit/impl/meta/
Dproof_tree_comparison.h32 template <typename ProofTh, typename ProofHps, typename Forest>
34 using ForestHps = FindInMap(Forest, ProofTh);
40 template <typename EntailedForest, typename Forest>
48 …sing type = And(CurrentResult, IsProofEntailedByForest(EntailedProofTh, EntailedProofHps, Forest));
79 template <typename ProofTh, typename ProofHps, typename Forest>
81 using ForestHps = FindInMap(Forest, ProofTh);
83 … ConstructError(ProofNotEntailedByForestBecauseThNotFoundErrorTag, ProofTh, GetMapKeys(Forest)),
93 template <typename EntailedForest, typename Forest>
102 … CheckProofEntailedByForest(EntailedProofTh, EntailedProofHps, Forest));
Dproof_trees.h65 template <typename Forest, typename Proof>
72 template <typename Proofs, typename Forest>
/external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/Instrumentation/
DMaximumSpanningTree.h77 EquivalenceClasses<const T*> Forest; in MaximumSpanningTree() local
82 Forest.insert(e.first); in MaximumSpanningTree()
83 Forest.insert(e.second); in MaximumSpanningTree()
91 if (Forest.findLeader(e.first) != Forest.findLeader(e.second)) { in MaximumSpanningTree()
92 Forest.unionSets(e.first, e.second); in MaximumSpanningTree()
/external/llvm/lib/Transforms/Instrumentation/
DMaximumSpanningTree.h77 EquivalenceClasses<const T*> Forest; in MaximumSpanningTree() local
82 Forest.insert(e.first); in MaximumSpanningTree()
83 Forest.insert(e.second); in MaximumSpanningTree()
91 if (Forest.findLeader(e.first) != Forest.findLeader(e.second)) { in MaximumSpanningTree()
92 Forest.unionSets(e.first, e.second); in MaximumSpanningTree()
/external/swiftshader/third_party/LLVM/lib/Transforms/Instrumentation/
DMaximumSpanningTree.h74 EquivalenceClasses<const T*> Forest; in MaximumSpanningTree() local
79 Forest.insert(e.first); in MaximumSpanningTree()
80 Forest.insert(e.second); in MaximumSpanningTree()
88 if (Forest.findLeader(e.first) != Forest.findLeader(e.second)) { in MaximumSpanningTree()
89 Forest.unionSets(e.first, e.second); in MaximumSpanningTree()
/external/python/cpython2/Tools/pynche/
Dnamedcolors.txt38 Forest Green #238E23
56 Medium Forest Green #6B8E23
/external/python/cpython3/Tools/pynche/
Dnamedcolors.txt38 Forest Green #238E23
56 Medium Forest Green #6B8E23
/external/brotli/c/enc/
Dhash_to_binary_tree_inc.h61 static BROTLI_INLINE uint32_t* FN(Forest)(HashToBinaryTree* self) { in FN() argument
126 uint32_t* forest = FN(Forest)(self); in FN()
/external/fonttools/
DLICENSE.external23 Street, Forest Hills, NY 11375, USA, Phone: (718) 575-1816.
/external/icu/icu4c/source/samples/ufortune/resources/
Droot.txt59 Redwood Forest.",
/external/swiftshader/third_party/LLVM/
DCREDITS.TXT32 D: ET-Forest implementation.
/external/swiftshader/third_party/llvm-subzero/
DCREDITS.TXT35 D: ET-Forest implementation.
/external/llvm/
DCREDITS.TXT36 D: ET-Forest implementation.
/external/swiftshader/third_party/llvm-7.0/llvm/
DCREDITS.TXT36 D: ET-Forest implementation.
/external/cldr/tools/java/org/unicode/cldr/util/data/
Diso-639-3_Retirements.tab227 myq Forest Maninka N 2013-01-23
Diso-639-3_Name_Index.tab1899 enf Forest Enets Enets, Forest
/external/libevent/
DChangeLog-1.4109 o Constify struct timeval * where possible; pointed out by Forest Wilkinson
/external/python/cpython2/Misc/
DACKS152 Forest Bond
/external/cldr/tools/java/org/unicode/cldr/util/data/external/
D2013-1_UNLOCODE_CodeListPart3.csv13564 ,"US","DFO","De Forest","De Forest","WI","--3-----","RQ","9307",,,
15122 ,"US","FTI","Forest","Forest","MS","--3-----","RQ","9307",,,
15123 ,"US","FS4","Forest","Forest","VA","--3--6--","RQ","0907",,"3722N 07917W",
15124 ,"US","FXY","Forest City","Forest City","IA","---4----","AI","9601",,,
15125 ,"US","FCC","Forest City","Forest City","IL","123--6--","RL","0601",,"4022N 08950W",
15126 ,"US","FCN","Forest City","Forest City","NC","--3-----","RQ","9307",,,
15127 ,"US","FZC","Forest City","Forest City","PA","-23--6--","RL","0401",,"4139N 07528W",
15128 ,"US","FSQ","Forest Dale","Forest Dale","VT","1-3--6--","RL","0307",,"4349N 07303W",
15129 ,"US","FGV","Forest Grove","Forest Grove","OR","--3-----","RQ","9307",,,
15130 "+","US","FH9","Forest Hill","Forest Hill","LA","--3-----","RL","1301",,"3102N 09231W",
[all …]
DsubdivisionData.txt1489 London borough GB-WFT Waltham Forest en GB-ENG
1551 unitary authority GB-BRC Bracknell Forest en GB-ENG
D2013-1_UNLOCODE_CodeListPart1.csv138 ,"AI","FOR","The Forest","The Forest",,"1-------","QQ","8110",,,
2503 ,"AU","FRG","Forest Glen","Forest Glen","QLD","--3-----","RL","1207",,"2640S 15300E",
3458 ,"AU","SUF","Sutton Forest","Sutton Forest","NSW","--3-----","RQ","1101",,"3434S 15019E",
4366 "","BE","VOS","Forest (Vorst)/Brussel (Bruxelles)","Forest (Vorst)/Brussel (Bruxelles)","BRU","--3-…
5517 ,"BE","VOS","Vorst (Forest)/Brussel (Bruxelles)","Vorst (Forest)/Brussel (Bruxelles)","BRU","--3---…
9102 ,"CA","ZFT","Forest","Forest","ON","123--6--","RL","0307",,"4306N 08200W",
9853 ,"CA","MTF","Mount Forest","Mount Forest","ON","--3-----","RL","0201",,"4359N 08044W",
10260 ,"CA","ROF","Rock Forest","Rock Forest","QC","--3-----","RL","0207",,"4520N 07159W",
36825 ,"FR","LFD","La Forest-Landernea","La Forest-Landernea","29","-----6--","RL","0901",,"4826N 04190W",
/external/python/cpython3/Misc/
DACKS176 Forest Bond
/external/libvpx/libvpx/
DCHANGELOG153 2013-11-15 v1.3.0 "Forest"
/external/brotli/tests/testdata/
Dasyoulik.txt66 Forest of Arden.
938 SCENE I The Forest of Arden.
1185 SCENE IV The Forest of Arden.
1342 SCENE V The Forest.
/external/icu/icu4j/perf-tests/data/collation/
DTestNames_Latin.txt1796 De Forest, Roy

12