| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | synth_engine.h | 84 void getSynthSolutions(std::map<Node, Node>& sol_map);
|
| H A D | synth_engine.cpp | 406 void SynthEngine::getSynthSolutions(std::map<Node, Node>& sol_map) in getSynthSolutions() argument
412 d_conjs[i]->getSynthSolutions(sol_map); in getSynthSolutions()
|
| H A D | synth_conjecture.h | 124 void getSynthSolutions(std::map<Node, Node>& sol_map);
|
| H A D | synth_conjecture.cpp | 1163 void SynthConjecture::getSynthSolutions(std::map<Node, Node>& sol_map) in getSynthSolutions() argument
1194 sol_map[fvar] = bsol; in getSynthSolutions()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4471 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/math/barvinok/barvinok-0.41.5/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4472 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4472 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/devel/isl/isl-0.24/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4472 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4472 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 760 isl_map_free(sol_map->map); in sol_map_free()
761 isl_set_free(sol_map->empty); in sol_map_free()
3668 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3675 if (!sol_map) in sol_map_init()
3678 sol_map->sol.free = &sol_map_free; in sol_map_init()
3685 if (!sol_map->map) in sol_map_init()
3691 if (!sol_map->empty) in sol_map_init()
3696 return &sol_map->sol; in sol_map_init()
3699 sol_free(&sol_map->sol); in sol_map_init()
4415 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4472 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4472 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4471 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4472 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/polly/lib/External/isl/ |
| H A D | isl_tab_pip.c | 770 isl_map_free(sol_map->map); in sol_map_free()
771 isl_set_free(sol_map->empty); in sol_map_free()
3706 struct isl_sol_map *sol_map = NULL; in sol_map_init() local
3713 if (!sol_map) in sol_map_init()
3716 sol_map->sol.free = &sol_map_free; in sol_map_init()
3723 if (!sol_map->map) in sol_map_init()
3729 if (!sol_map->empty) in sol_map_init()
3734 return &sol_map->sol; in sol_map_init()
3737 sol_free(&sol_map->sol); in sol_map_init()
4472 struct isl_sol_map *sol_map; in basic_map_partial_lexopt_base() local
[all …]
|
| /dports/math/cvc4/CVC4-1.7/src/smt/ |
| H A D | smt_engine.h | 796 void getSynthSolutions(std::map<Expr, Expr>& sol_map);
|
| H A D | smt_engine.cpp | 4741 map<Node, Node> sol_map; in checkSynthSolution() local
4743 d_theoryEngine->getSynthSolutions(sol_map); in checkSynthSolution()
4744 if (sol_map.empty()) in checkSynthSolution()
4751 for (const auto& pair : sol_map) in checkSynthSolution()
4909 void SmtEngine::getSynthSolutions(std::map<Expr, Expr>& sol_map) in getSynthSolutions() argument
4918 sol_map[s.first.toExpr()] = s.second.toExpr(); in getSynthSolutions()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | quantifiers_engine.h | 285 void getSynthSolutions(std::map<Node, Node>& sol_map);
|
| H A D | quantifiers_engine.cpp | 1255 void QuantifiersEngine::getSynthSolutions(std::map<Node, Node>& sol_map) in getSynthSolutions() argument
1257 d_synth_e->getSynthSolutions(sol_map); in getSynthSolutions()
|
| H A D | theory_engine.h | 777 void getSynthSolutions(std::map<Node, Node>& sol_map);
|
| H A D | theory_engine.cpp | 910 void TheoryEngine::getSynthSolutions(std::map<Node, Node>& sol_map) in getSynthSolutions() argument
914 d_quantEngine->getSynthSolutions(sol_map); in getSynthSolutions()
|