Here is a list of all struct and union fields with links to the structures/unions they belong to:

- u -

• undef : HrcNode
• unsatisfiableGroups : SatSolver
• use_indentation : HrcDumper
• use_mod_suffix : HrcDumper
• use_restart : SATPartialTraceExecutor
• used : OAHash
• used_indices_frontier : BddEnc
• user : HrcDumperInfo
• UStringMgr_create() : UStringMgr
• UStringMgr_destroy() : UStringMgr
• UStringMgr_find_string() : UStringMgr