Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- private Trie game_dictionary = new Trie();
- private bool loading_dictionary = true;
- private void GenerateDictionary()
- {
- using (var fs = new FileStream("dict.dat", FileMode.Open, FileAccess.Read))
- {
- var bf = new System.Runtime.Serialization.Formatters.Binary.BinaryFormatter();
- game_dictionary = bf.Deserialize(fs) as Trie;
- }
- loading_dictionary = false;
- }
Add Comment
Please, Sign In to add comment