public static string getTrajectoryPrintout
(Trajectory printTrajectory, Dictionary <CFGNode, int> CFGNodeToLineNum, List <string> BddVariableToName)
{
string trajPrintout = string.Empty;
for (int i = 0; i < printTrajectory.TrajectoryList.Count; i++)
{
TrajectoryItem trajItem = printTrajectory.TrajectoryList[i];
int lineNum;
if (CFGNodeToLineNum.TryGetValue(trajItem.Node, out lineNum))
{
trajPrintout += "Line " + lineNum.ToString();
for (int j = 0; j < (5 - lineNum.ToString().Length); j++)
{
trajPrintout += " ";
}
trajPrintout += BMC.printBddValuation(trajItem.Valuation, BddVariableToName);
trajPrintout += "\n";
}
}
return(trajPrintout);
}
internal void Add(TrajectoryItem newItem)
{
m_TrajectoryList.Add(newItem);
}
