- u -

• uno : wali::graph::update_t , wali::graph::SummaryGraphNode
• updatable : wali::graph::IntraGraphEdge
• updatable_no : wali::graph::IntraGraphEdge
• update_count : wali::graph::RegExpSatProcess
• user_merge : wali::witness::WitnessMergeFn
• user_se : wali::witness::Witness