Searched refs:clauseLiterals (Results 1 – 1 of 1) sorted by relevance
176 llvm::ArrayRef<Literal> clauseLiterals(ClauseID C) const { in clauseLiterals() function431 FinalBuilder.addClause(CNF.clauseLiterals(C)[0]); in buildCNF()437 FinalBuilder.addClause(CNF.clauseLiterals(C)); in buildCNF()702 llvm::ArrayRef<Literal> Clause = CNF.clauseLiterals(LitWatcher); in watchedByUnitClause()