diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-10-07 11:51:14 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:00 +0200 |
| commit | a4f46cfe3e2c8b1307df396c6c8c37b4f61a59bd (patch) | |
| tree | 1d9dd899cb3d64bdfa844e1be29a197eae77fed7 /monkey | |
| parent | 99db41ecfb75d4e264b8a7381eac6776ec27973b (diff) | |
Simplify prolog.util.map_vars
Return a single mapping instead of generating all possible permutations.
Only the first solution was used anyway, with little effect on found
solutions.
Diffstat (limited to 'monkey')
0 files changed, 0 insertions, 0 deletions