Searched defs:cloneWithState (Results 1 – 1 of 1) sorted by relevance
58 CallEventRef<T> cloneWithState(ProgramStateRef State) const { in cloneWithState() function332 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function1046 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function