- u -

• ullmannRecursion() : SubCircuit::SolverWorker
• uncheckedEnqueue() : Minisat::Solver
• undefGating() : SatGen
• unified_param() : SubCircuitSolver
• uniquify() : RTLIL::Module
• unpack() : RTLIL::SigSpec
• unregister_bit() : SigMap
• unset() : stackmap< Key, T, Compare >
• unsetParam() : RTLIL::Cell
• unsetPort() : RTLIL::Cell
• update() : Minisat::Heap< K, Comp, MkIndex > , SHA1
• updateElimHeap() : Minisat::SimpSolver
• userAnnotateEdge() : SubCircuit::Solver
• userCheckSolution() : SubCircuit::Solver
• userCompareEdge() : SubCircuit::Solver
• userCompareNodes() : SubCircuit::Solver , SubCircuitSolver