Exemple #1
0
 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;
 }
Exemple #2
0
        public static LeakageTrace CopyTraceWithoutStates(LeakageTrace leakageTrace)
        {
            LeakageTrace trace = new LeakageTrace(leakageTrace);

            return(trace);
        }