Searched refs:falseVars (Results 1 – 1 of 1) sorted by relevance
221 if (falseVars.contains(X)) { // X must be false in addClause()244 falseVars.insert(v); in addClause()256 llvm::DenseSet<Variable> falseVars; member