diff options
| author | Star Rauchenberger <fefferburbia@gmail.com> | 2022-12-09 12:06:18 -0500 |
|---|---|---|
| committer | Star Rauchenberger <fefferburbia@gmail.com> | 2022-12-09 12:06:18 -0500 |
| commit | 1db4d3569dfc85918bff6ed0e16dec89e83b4872 (patch) | |
| tree | 329f340e93048870596474bc65fd38669f90836a | |
| parent | 4048abb8fa4d604fd0d32a7cb2a7c3c9e6685466 (diff) | |
| download | lingo-1db4d3569dfc85918bff6ed0e16dec89e83b4872.tar.gz lingo-1db4d3569dfc85918bff6ed0e16dec89e83b4872.tar.bz2 lingo-1db4d3569dfc85918bff6ed0e16dec89e83b4872.zip | |
Fixed admissible solution checker
fixes #3
| -rw-r--r-- | lingo.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
| diff --git a/lingo.cpp b/lingo.cpp index e4f3236..fdc4619 100644 --- a/lingo.cpp +++ b/lingo.cpp | |||
| @@ -334,7 +334,7 @@ private: | |||
| 334 | std::string message_text = msg_stream.str(); | 334 | std::string message_text = msg_stream.str(); |
| 335 | std::cout << message_text << std::endl << std::endl << solution.getText() << std::endl; | 335 | std::cout << message_text << std::endl << std::endl << solution.getText() << std::endl; |
| 336 | 336 | ||
| 337 | std::vector<verbly::form> admissibleResults = database_->forms(admissible).all(); | 337 | std::vector<verbly::form> admissibleResults = database_->forms(admissible, {}, 10).all(); |
| 338 | if (admissibleResults.size() <= (hints == 1 ? 2 : 5)) | 338 | if (admissibleResults.size() <= (hints == 1 ? 2 : 5)) |
| 339 | { | 339 | { |
| 340 | #ifdef ENABLE_BOT | 340 | #ifdef ENABLE_BOT |