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);
}
}
