- u -

• unbuf_types : BlifDumperConfig
• undef_out : BlifDumperConfig
• undef_type : BlifDumperConfig
• unset : setunset_t
• unsets_at : SatHelper
• upto : RTLIL::Wire
• use_asymm : Minisat::SimpSolver
• use_elim : Minisat::SimpSolver
• use_rcheck : Minisat::SimpSolver
• use_simplification : Minisat::SimpSolver
• usedNodes : SubCircuit::SolverWorker::GraphData
• user_pol : Minisat::Solver
• userAnnotation : SubCircuit::SolverWorker::DiEdge
• userData : SubCircuit::Graph::Node , SubCircuit::Solver::MineResultNode
• users : AlumaccWorker::maccnode_t
• userSolver : SubCircuit::SolverWorker