Searched defs:cloneWithState (Results 1 – 2 of 2) sorted by relevance
83 CallEventRef<T> cloneWithState(ProgramStateRef State) const { in cloneWithState() function364 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function1083 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function
87 CallEventRef<T> cloneWithState(ProgramStateRef State) const { in cloneWithState() function376 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function1436 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function