| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | cegis.cpp | 107 const std::vector<Node>& candidate_values, in addEvalLemmas() argument
143 getRefinementEvalLemmas(candidates, candidate_values, cre_lems, doGen); in addEvalLemmas()
175 << candidate_values[i] << std::endl; in addEvalLemmas()
177 candidate_values[i], in addEvalLemmas()
200 std::vector<Node>& candidate_values, in constructCandidates() argument
234 if (src->repairSolution(candidates, fail_cvs, candidate_values)) in constructCandidates()
260 candidate_values, in constructCandidates()
275 enums, enum_values, candidates, candidate_values, lems); in constructCandidates()
284 std::vector<Node>& candidate_values, in processConstructCandidates() argument
290 candidate_values.insert( in processConstructCandidates()
[all …]
|
| H A D | cegis.h | 57 std::vector<Node>& candidate_values,
92 std::vector<Node>& candidate_values,
161 const std::vector<Node>& candidate_values,
|
| H A D | synth_conjecture.cpp | 325 std::vector<Node> candidate_values; in doCheck() local
357 d_candidates, fail_cvs, candidate_values, true)) in doCheck()
426 Assert(candidate_values.empty()); in doCheck()
428 terms, enum_values, d_candidates, candidate_values, lems); in doCheck()
444 << candidate_values[i] << std::endl; in doCheck()
447 Assert(candidate_values.size() == d_candidates.size()); in doCheck()
450 candidate_values.begin(), in doCheck()
451 candidate_values.end()); in doCheck()
470 recordInstantiation(candidate_values); in doCheck()
529 recordInstantiation(candidate_values); in doCheck()
[all …]
|
| H A D | sygus_module.h | 111 std::vector<Node>& candidate_values,
|
| H A D | sygus_repair_const.cpp | 147 const std::vector<Node>& candidate_values, in repairSolution() argument
151 Assert(candidates.size() == candidate_values.size()); in repairSolution()
165 p->toStreamSygus(ss, candidate_values[i]); in repairSolution()
178 Node cv = candidate_values[i]; in repairSolution()
|
| H A D | cegis_unif.cpp | 272 std::vector<Node>& candidate_values, in processConstructCandidates() argument
280 enums, enum_values, candidates, candidate_values, satisfiedRl, lems); in processConstructCandidates()
339 candidate_values.insert(candidate_values.end(), sols.begin(), sols.end()); in processConstructCandidates()
|
| H A D | sygus_repair_const.h | 77 const std::vector<Node>& candidate_values,
|
| H A D | sygus_pbe.h | 151 std::vector<Node>& candidate_values,
|
| H A D | cegis_unif.h | 264 std::vector<Node>& candidate_values,
|
| H A D | sygus_pbe.cpp | 440 std::vector<Node>& candidate_values, in constructCandidates() argument
521 candidate_values.push_back(sol[0]); in constructCandidates()
|
| /dports/science/qmcpack/qmcpack-3.11.0/src/io/OhmmsData/ |
| H A D | OhmmsParameter.h | 113 std::vector<T>&& candidate_values = {},
117 candidate_values_(std::move(candidate_values)),
203 std::vector<bool>&& candidate_values = {},
207 candidate_values_(std::move(candidate_values)),
|
| H A D | AttributeSet.h | 64 std::vector<PDT>&& candidate_values = {},
70 m_param[aname] = new OhmmsParameter<PDT>(aparam, aname, std::move(candidate_values), status);
|
| H A D | ParameterSet.h | 121 std::vector<PDT>&& candidate_values = {},
129 m_param[aname] = new OhmmsParameter<PDT>(aparam, aname, std::move(candidate_values), status);
|
| /dports/science/lammps/lammps-stable_29Sep2021/lib/kokkos/core/unit_test/tools/ |
| H A D | TestTuning.cpp | 121 auto candidate_values = tuning_values[0].metadata->candidates; in main() local
127 int tuningVariableSetSize = candidate_values.set.size; in main()
131 candidate_values.set.values.int_value[4 % tuningVariableSetSize]; in main()
|
| /dports/devel/kokkos/kokkos-3.4.01/core/unit_test/tools/ |
| H A D | TestTuning.cpp | 121 auto candidate_values = tuning_values[0].metadata->candidates; in main() local
127 int tuningVariableSetSize = candidate_values.set.size; in main()
131 candidate_values.set.values.int_value[4 % tuningVariableSetSize]; in main()
|
| /dports/science/sparta/sparta-20Oct2021/lib/kokkos/core/unit_test/tools/ |
| H A D | TestTuning.cpp | 121 auto candidate_values = tuning_values[0].metadata->candidates; in main() local
127 int tuningVariableSetSize = candidate_values.set.size; in main()
131 candidate_values.set.values.int_value[4 % tuningVariableSetSize]; in main()
|
| /dports/science/lammps/lammps-stable_29Sep2021/lib/kokkos/core/src/impl/ |
| H A D | Kokkos_Profiling.cpp | 605 std::array<std::string, 4> candidate_values = { in initialize() local
613 Experimental::make_candidate_set(4, candidate_values.data()); in initialize()
|
| /dports/devel/kokkos/kokkos-3.4.01/core/src/impl/ |
| H A D | Kokkos_Profiling.cpp | 605 std::array<std::string, 4> candidate_values = { in initialize() local
613 Experimental::make_candidate_set(4, candidate_values.data()); in initialize()
|
| /dports/science/sparta/sparta-20Oct2021/lib/kokkos/core/src/impl/ |
| H A D | Kokkos_Profiling.cpp | 605 std::array<std::string, 4> candidate_values = { in initialize() local
613 Experimental::make_candidate_set(4, candidate_values.data()); in initialize()
|