54                               const MemRegion *ContReg,
114 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
115 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
116 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
117 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
118 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
120                                      const MemRegion *Cont, const Expr *E,
123 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
127 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
130                                                const MemRegion *Cont);
133                                      const MemRegion *Cont, SymbolRef Offset,
144                                              const MemRegion *Cont,
145                                              const MemRegion *NewCont);
147                                                    const MemRegion *Cont,
148                                                    const MemRegion *NewCont,
156 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
711                                                const MemRegion *ContReg,  in getChangeTag()
777                                       const MemRegion *Reg) {  in getCXXRecordDecl()
790 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg) {  in hasSubscriptOperator()
806 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) {  in frontModifiable()
821 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) {  in backModifiable()
836 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
844 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
853                                      const MemRegion *Cont, const Expr *E,  in createContainerBegin()
875 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,  in createContainerEnd()
898 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,  in setContainerData()
936                                                const MemRegion *Cont) {  in invalidateAllIteratorPositions()
948                                      const MemRegion *Cont, SymbolRef Offset,  in invalidateAllIteratorPositionsExcept()
988                                              const MemRegion *Cont,  in reassignAllIteratorPositions()
989                                              const MemRegion *NewCont) {  in reassignAllIteratorPositions()
1000                                                    const MemRegion *Cont,  in reassignAllIteratorPositionsUnless()
1001                                                    const MemRegion *NewCont,  in reassignAllIteratorPositionsUnless()
1049 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) {  in hasLiveIterators()