Searched refs:trueVars (Results 1 – 1 of 1) sorted by relevance
55 if (trueVars.contains(X)) { // X must be true in addClause()80 trueVars.insert(v); in addClause()93 llvm::DenseSet<Variable> trueVars; member