Here is a list of all functions with links to the classes they belong to:

- w -

• weakUpdateOutFromIn() : SVF::FlowSensitive
• what() : SVF::AEException
• widen_with() : SVF::AbstractValue, SVF::IntervalValue
• widening() : SVF::AbstractState
• word() : SVF::SparseBitVectorElement< ElementSize >
• WPAFSSolver() : SVF::WPAFSSolver< GraphType >
• WPAMinimumSolver() : SVF::WPAMinimumSolver< GraphType >
• WPAPass() : SVF::WPAPass
• WPASCCSolver() : SVF::WPASCCSolver< GraphType >
• WPASolver() : SVF::WPASolver< GraphType >
• wrapped() : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• writeEdge() : SVF::GraphWriter< GraphType >
• writeFooter() : SVF::GraphWriter< GraphType >
• writeGepObjVarMapToFile() : SVF::BVDataPTAImpl
• writeGraph() : SVF::GraphWriter< GraphType >
• WriteGraphToFile() : SVF::GraphPrinter
• writeHeader() : SVF::GraphWriter< GraphType >
• writeNode() : SVF::GraphWriter< GraphType >
• writeNodes() : SVF::GraphWriter< GraphType >
• writeObjVarToFile() : SVF::BVDataPTAImpl
• writePtsResultToFile() : SVF::BVDataPTAImpl
• writeToFile() : SVF::BVDataPTAImpl, SVF::SVFG
• writeVersionedAnalysisResultToFile() : SVF::VersionedFlowSensitive
• WTO() : SVF::WTO< GraphT >
• WTOComponent() : SVF::WTOComponent< GraphT >
• WTOComponentVisitor() : SVF::WTOComponentVisitor< GraphT >
• WTOCycle() : SVF::WTOCycle< GraphT >
• WTOCycleDepth() : SVF::WTOCycleDepth< GraphT >
• WTOCycleDepthBuilder() : SVF::WTO< GraphT >::WTOCycleDepthBuilder
• WTONode() : SVF::WTONode< GraphT >