- h -

• has_extra : Minisat::Clause
• hash : Minisat::Map< K, D, H, E >
• hash_ : RTLIL::SigSpec
• haystackGraphId : SubCircuit::Solver::Result
• haystackNodeId : SubCircuit::Solver::ResultNodeMapping
• haystackUserData : SubCircuit::Solver::ResultNodeMapping
• header : Minisat::Clause
• heap : Minisat::Heap< K, Comp, MkIndex >