public LeakageTrace(LeakageTrace leakageTrace) { this.variables = leakageTrace.variables; this.operators = leakageTrace.operators; this.states = new List <TraceState>(); this.plan = leakageTrace.plan; this.agent = leakageTrace.agent; }
public static LeakageTrace CopyTraceWithoutStates(LeakageTrace leakageTrace) { LeakageTrace trace = new LeakageTrace(leakageTrace); return(trace); }