Searched defs:random_provider (Results 1 – 3 of 3) sorted by relevance
33 RandomProvider* random_provider, in RealState()51 RandomProvider* random_provider() override { return random_provider_.get(); } in random_provider() function
71 unique_ptr<RealRandomProvider> random_provider(new RealRandomProvider()); in DefaultStateFactory() local
55 FakeRandomProvider* random_provider() override { return &random_provider_; } in random_provider() function