• adjMatrix_t : SubCircuit::SolverWorker
• Base : BigUnsignedInABase
• bits_t : BitPatternPool
• Blk : BigInteger , BigUnsigned
• cell_int_t : Dff2dffeWorker
• CmpRes : BigInteger
• Digit : BigUnsignedInABase
• HashTable : Minisat::CMap< T >
• Index : BigInteger , BigUnsigned , NumberlikeArray< Blk >
• Key : Minisat::Queue< T >
• pattern_t : Dff2dffeWorker
• patterns_t : Dff2dffeWorker
• Ref : Minisat::RegionAllocator< T >
• Size : Minisat::vec< T, _Size >
• Solver : ezMiniSAT
• TechmapWires : TechmapWorker