Home
last modified time | relevance | path

Searched refs:Forest (Results 1 – 25 of 40) 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-10.0/llvm/lib/Transforms/Instrumentation/
DMaximumSpanningTree.h75 EquivalenceClasses<const T*> Forest; in MaximumSpanningTree() local
80 Forest.insert(e.first); in MaximumSpanningTree()
81 Forest.insert(e.second); in MaximumSpanningTree()
89 if (Forest.findLeader(e.first) != Forest.findLeader(e.second)) { in MaximumSpanningTree()
90 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/llvm-project/llvm/lib/Transforms/Instrumentation/
DMaximumSpanningTree.h75 EquivalenceClasses<const T*> Forest; in MaximumSpanningTree() local
80 Forest.insert(e.first); in MaximumSpanningTree()
81 Forest.insert(e.second); in MaximumSpanningTree()
89 if (Forest.findLeader(e.first) != Forest.findLeader(e.second)) { in MaximumSpanningTree()
90 Forest.unionSets(e.first, e.second); in MaximumSpanningTree()
/external/python/cpython3/Tools/pynche/
Dnamedcolors.txt38 Forest Green #238E23
56 Medium Forest Green #6B8E23
/external/python/cpython2/Tools/pynche/
Dnamedcolors.txt38 Forest Green #238E23
56 Medium Forest Green #6B8E23
/external/llvm-project/clang-tools-extra/clangd/quality/
DREADME.md1 # Decision Forest Code Completion Model
3 ## Decision Forest
47 ### Decision Forest
/external/llvm-project/clang/unittests/Tooling/Syntax/
DTreeTest.cpp54 for (auto &Forest : generateAllForests(Children.drop_back(ChildrenCount), in generateAllForests() local
56 Forest.push_back(LastParent); in generateAllForests()
57 AllForests.push_back(Forest); in generateAllForests()
/external/mesa3d/docs/relnotes/
D18.2.7.rst44 - blocky shadow artifacts in The Forest with DXVK, RADV_DEBUG=nohiz
D18.3.0.rst302 - blocky shadow artifacts in The Forest with DXVK, RADV_DEBUG=nohiz
/external/rust/crates/csv/examples/data/bench/
Dgtfs-mbta-stop-times.csv1687 "CR-Saturday-Fall-16-1601","7:24:00","7:24:00","Forest Hills",4,"",0,0,1
1704 "CR-Saturday-Fall-16-1602","8:26:00","8:26:00","Forest Hills",9,"",0,0,1
1711 "CR-Saturday-Fall-16-1603","9:24:00","9:24:00","Forest Hills",4,"",0,0,1
1728 "CR-Saturday-Fall-16-1604","10:26:00","10:26:00","Forest Hills",9,"",0,0,1
1735 "CR-Saturday-Fall-16-1605","11:24:00","11:24:00","Forest Hills",4,"",0,0,1
1752 "CR-Saturday-Fall-16-1606","12:26:00","12:26:00","Forest Hills",9,"",0,0,1
1759 "CR-Saturday-Fall-16-1607","13:24:00","13:24:00","Forest Hills",4,"",0,0,1
1776 "CR-Saturday-Fall-16-1608","14:26:00","14:26:00","Forest Hills",9,"",0,0,1
1783 "CR-Saturday-Fall-16-1609","15:24:00","15:24:00","Forest Hills",4,"",0,0,1
1800 "CR-Saturday-Fall-16-1610","16:26:00","16:26:00","Forest Hills",9,"",0,0,1
[all …]
/external/llvm-project/clang/lib/Tooling/Syntax/
DBuildTree.cpp566 struct Forest { struct in syntax::TreeBuilder
567 Forest(syntax::Arena &A) { in Forest() argument
692 Forest Pending;
/external/icu/icu4c/source/samples/ufortune/resources/
Droot.txt59 Redwood Forest.",
/external/swiftshader/third_party/llvm-subzero/
DCREDITS.TXT35 D: ET-Forest implementation.
/external/llvm/
DCREDITS.TXT36 D: ET-Forest implementation.
/external/llvm-project/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
/external/fonttools/
DLICENSE.external23 Street, Forest Hills, NY 11375, USA, Phone: (718) 575-1816.
/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 …]
/external/libvpx/libvpx/
DCHANGELOG177 2013-11-15 v1.3.0 "Forest"
/external/python/cpython3/Misc/
DACKS193 Forest Bond
/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.

12