Lines Matching refs:trace
158 val () = Print.trace Clause.pp "Waiting.clauseWeight: cl" cl
167 val () = trace ("Waiting.clauseWeight: dist = " ^
169 val () = trace ("Waiting.clauseWeight: symbolsW = " ^
171 val () = trace ("Waiting.clauseWeight: variablesW = " ^
173 val () = trace ("Waiting.clauseWeight: literalsW = " ^
175 val () = trace ("Waiting.clauseWeight: modelsW = " ^
181 val () = trace ("Waiting.clauseWeight: weight = " ^
227 val () = Print.trace pp "Waiting.add: waiting" waiting
228 val () = Print.trace (Print.ppList Clause.pp) "Waiting.add: cls" cls
234 val () = Print.trace pp "Waiting.add: waiting" waiting
265 val () = Print.trace Print.ppException "Waiting.new: exception" e