- u -

• Union() : wali::regex::Union
• UnionFind() : wali::graph::UnionFind
• unlinkOutput() : wali::wpds::WPDS
• unmark() : wali::IMarkable , wali::Markable , wali::wfa::DecoratorTrans
• unwrap() : wali::witness::WitnessWrapper , wali::wpds::Wrapper , wali::witness::WitnessWrapper
• updatable() : wali::graph::RegExp
• updatableNumber() : wali::graph::RegExp
• update() : wali::wpds::WPDS , wali::wpds::ewpds::EWPDS , wali::graph::RegExp , wali::wpds::DebugWPDS
• update_all_weights() : wali::graph::InterGraph
• update_etrans() : wali::wpds::ewpds::EWPDS
• update_prime() : wali::wpds::WPDS , wali::wpds::ewpds::EWPDS , wali::wpds::DebugWPDS
• update_t() : wali::graph::update_t
• updateEdgeWeight() : wali::graph::IntraGraph
• updateWeight() : wali::graph::IntraGraph