Guest User

Untitled

a guest
Jul 27th, 2017
138
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C# 0.36 KB | None | 0 0
  1. private Trie game_dictionary = new Trie();
  2. private bool loading_dictionary = true;
  3. private void GenerateDictionary()
  4. {
  5.     using (var fs = new FileStream("dict.dat", FileMode.Open, FileAccess.Read))
  6.     {
  7.         var bf = new System.Runtime.Serialization.Formatters.Binary.BinaryFormatter();
  8.         game_dictionary = bf.Deserialize(fs) as Trie;
  9.     }
  10.     loading_dictionary = false;
  11. }
Add Comment
Please, Sign In to add comment