Class SpeculativeTopNBlacklist¶

class SpeculativeTopNBlacklist¶

Public Functions

void add(const std::shared_ptr<Analyzer::Expr> expr, const bool desc)¶

bool contains(const std::shared_ptr<Analyzer::Expr> expr, const bool desc) const¶

Private Members

std::mutex mutex_¶

std::vector<std::pair<std::shared_ptr<Analyzer::Expr>, bool>> blacklist_¶