• boundVarCount : theory.cpp
• debug_full : minisat_solver.cpp
• debugger : debug.cpp , debug.h
• defer_theory_propagation : minisat_solver.cpp
• eager_explanation : minisat_solver.cpp
• FOUND_FALSE : theory_quant.cpp
• keep_lazy_explanation : minisat_solver.cpp
• l_False : minisat_global.h
• l_True : minisat_global.h
• l_Undef : minisat_global.h
• lit_Error : minisat_types.h
• lit_Undef : minisat_types.h
• myvcl : vcl.cpp
• null_expr : theory_quant.cpp
• num_primes : hash_table.h
• parserTemp : parser.h
• prime_list : hash_table.h
• programName : main.cpp
• prop_lookahead : minisat_solver.cpp
• protocol : minisat_solver.cpp
• push_theory_clause : minisat_solver.cpp
• push_theory_implication : minisat_solver.cpp
• push_theory_propagation : minisat_solver.cpp
• var_Undef : minisat_types.h
• vc : main.cpp

---