55                               const MemRegion *ContReg,
100 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
101 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
102 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
103 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
104 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
106                                      const MemRegion *Cont, const Expr *E,
109 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
113 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
116                                                const MemRegion *Cont);
119                                      const MemRegion *Cont, SymbolRef Offset,
130                                              const MemRegion *Cont,
131                                              const MemRegion *NewCont);
133                                                    const MemRegion *Cont,
134                                                    const MemRegion *NewCont,
142 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
697                                                const MemRegion *ContReg,  in getChangeTag()
763                                       const MemRegion *Reg) {  in getCXXRecordDecl()
776 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg) {  in hasSubscriptOperator()
792 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) {  in frontModifiable()
807 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) {  in backModifiable()
822 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
830 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
839                                      const MemRegion *Cont, const Expr *E,  in createContainerBegin()
861 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,  in createContainerEnd()
884 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,  in setContainerData()
922                                                const MemRegion *Cont) {  in invalidateAllIteratorPositions()
934                                      const MemRegion *Cont, SymbolRef Offset,  in invalidateAllIteratorPositionsExcept()
974                                              const MemRegion *Cont,  in reassignAllIteratorPositions()
975                                              const MemRegion *NewCont) {  in reassignAllIteratorPositions()
986                                                    const MemRegion *Cont,  in reassignAllIteratorPositionsUnless()
987                                                    const MemRegion *NewCont,  in reassignAllIteratorPositionsUnless()
1035 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) {  in hasLiveIterators()