- w -

• w : wali::wpds::RuleCopier
• wAtCall : wali::wpds::ewpds::ETrans
• weight : wali::graph::GraphEdge , wali::graph::GraphNode , wali::graph::HyperEdge , wali::graph::IntraGraphEdge , wali::graph::SummaryGraphNode
• wghtOne : wali::wpds::fwpds::FWPDS
• witness_merge_fn : wali::witness::WitnessMerge
• witness_rule : wali::witness::WitnessMergeFn
• wl : wali::DefaultWorklist< T >
• worklist : wali::wpds::WPDS
• workset : wali::PriorityWorklist
• wrapper : wali::wpds::WPDS , wali::wpds::RuleCopier
• wt : wali::graph::update_t