static PredicateTrie <BV128> CreateRandomTrie(BV128Algebra alg, int k) { PredicateTrie <BV128> trie = new PredicateTrie <BV128>(alg); for (int j = 0; j < k; j++) { var pred = BV128.Random(); trie.Search(pred); } return(trie); }
static PredicateTrie<BV128> CreateRandomTrie(BV128Algebra alg, int k) { PredicateTrie<BV128> trie = new PredicateTrie<BV128>(alg); for (int j = 0; j < k; j++) { var pred = BV128.Random(); trie.Search(pred); } return trie; }