public void CheckTraceContainment(VisibleTrace tc) { if (!allTracesRHS.Contains(tc)) { Console.WriteLine("Following trace not contained in abstraction ::"); Console.WriteLine(tc.ToString()); Environment.Exit(-1); } }
public void AddTrace(VisibleTrace tc) { if (allTracesRHS.Contains(tc)) { return; } else { allTracesRHS.Add(tc); } }