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