- t -

• TheoremEq() : search_fast.cpp
• toInt() : minisat_global.h
• toLbool() : minisat_global.h
• trigInitScore() : theory_quant.cpp

---