Searched refs:dead_block_facts_ (Results 1 – 6 of 6) sorted by relevance
188 dead_block_facts_; // Unique pointer to internal data. variable
895 dead_block_facts_(MakeUnique<DeadBlockFacts>()), in FactManager()924 dead_block_facts_->AddFact(fact.block_is_dead_fact()); in AddFact()1001 return dead_block_facts_->BlockIsDead(block_id); in BlockIsDead()1007 dead_block_facts_->AddFact(fact); in AddFactBlockIsDead()
209 dead_block_facts_; // Unique pointer to internal data. variable
1310 dead_block_facts_(MakeUnique<DeadBlockFacts>()), in FactManager()1340 dead_block_facts_->AddFact(fact.block_is_dead_fact()); in AddFact()1414 return dead_block_facts_->BlockIsDead(block_id); in BlockIsDead()1420 dead_block_facts_->AddFact(fact); in AddFactBlockIsDead()
197 dead_block_facts_; // Unique pointer to internal data. variable
1317 dead_block_facts_(MakeUnique<DeadBlockFacts>()), in FactManager()1347 dead_block_facts_->AddFact(fact.block_is_dead_fact()); in AddFact()1425 return dead_block_facts_->BlockIsDead(block_id); in BlockIsDead()1431 dead_block_facts_->AddFact(fact); in AddFactBlockIsDead()