Overview
Comment: | tools/smaz: allow Optimization_Round to increase dictionary size |
---|---|
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
44c74c875f760d6495393f5f86c38a4d |
User & Date: | nat on 2017-05-25 21:11:21 |
Other Links: | manifest | tags |
Context
2017-05-26
| ||
20:02 | smaz_generic-tools: use Dict_Entry_Length when possible check-in: b6557bf0ac user: nat tags: trunk | |
2017-05-25
| ||
21:11 | tools/smaz: allow Optimization_Round to increase dictionary size check-in: 44c74c875f user: nat tags: trunk | |
2017-05-24
| ||
21:29 | tools/smaz: add support for not adding worst word to pending list check-in: d41ee1b20d user: nat tags: trunk | |
Changes
Modified tools/smaz.adb from [ac8c1a7478] to [301a580fd7].
︙ | |||
583 584 585 586 587 588 589 | 583 584 585 586 587 588 589 590 591 592 593 594 595 596 | - | Input_Texts : in String_Lists.List; Job_Count : in Natural; Method : in Methods; Min_Dict_Size : in Positive; Max_Dict_Size : in Positive; Updated : out Boolean) is |
︙ | |||
635 636 637 638 639 640 641 642 643 644 645 646 647 648 | 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 | + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + | & " (" & Ada.Streams.Stream_Element_Offset'Image (Score - Old_Score) & ')'); end if; end; end loop; if Length (Original) < Max_Dict_Size then Ada.Text_IO.Put_Line (Ada.Text_IO.Current_Error, "Condiering adding to dictionary"); for Position in Pending_Words.Iterate loop declare Word : constant String := String_Lists.Element (Position); New_Dict : constant Dictionary := Append_String (Original, Word); New_Score : Ada.Streams.Stream_Element_Count; New_Counts : Dictionary_Counts; begin Evaluate_Dictionary (Job_Count, New_Dict, Input_Texts, New_Score, New_Counts); if New_Score < Score then Dict := Holders.To_Holder (New_Dict); Score := New_Score; Counts := New_Counts; No_Longer_Pending := Position; Worst_Removed := False; Updated := True; Log_Message := Ada.Strings.Unbounded.To_Unbounded_String ("Adding" & Counts (Last_Code (New_Dict))'Img & "x " & Natools.String_Escapes.C_Escape_Hex (Word, True) & ", size" & Score'Img & " (" & Ada.Streams.Stream_Element_Offset'Image (Score - Old_Score) & ')'); end if; end; end loop; end if; if Length (Base) >= Min_Dict_Size then declare New_Score : Ada.Streams.Stream_Element_Count; New_Counts : Dictionary_Counts; begin Evaluate_Dictionary |
︙ |