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

- i -

• ICFG : SVF::IntraCFGEdge, SVF::SVFBasicBlock
• ICFGBuilder : SVF::ICFG, SVF::LLVMModuleSet, SVF::SVFBasicBlock
• ICFGSimplification : SVF::ICFG
• int2bv : SVF::Z3Expr
• IRGraph : SVF::SVFVar
• ite : SVF::BoundedDouble, SVF::BoundedInt, SVF::Z3Expr