• ClauseAllocator : Minisat::Clause
• convertBigUnsignedToPrimitiveAccess : BigUnsigned
• getShiftedBlock : BigUnsigned
• mkLit : Minisat::Lit
• parseOptions : Minisat::Option
• printUsageAndExit : Minisat::Option
• RTLIL::Module : RTLIL::Cell , RTLIL::Wire
• setHelpPrefixStr : Minisat::Option
• setUsageHelp : Minisat::Option
• Solver : SubCircuit::SolverWorker
• SolverWorker : SubCircuit::Graph , SubCircuit::Solver
• toInt : Minisat::lbool
• toLbool : Minisat::lbool