public TraceElement(int iterationNumber, TraceElementTypeEnum type, Rule rule, List <char> facts) : this() { IterationNumber = iterationNumber; Type = type; Rule = rule; Facts.AddRange(facts); }
//FC specific constructors public TraceElement(int iterationNumber, TraceElementTypeEnum type, Rule rule) : this() { IterationNumber = iterationNumber; Type = type; Rule = rule; }