public void writeTestFiles <T>(TransitionSystem <T> transitionSystem, ModelProperty[] properties)
where T : struct, Modest.Exploration.IState <T>
{
String text1 = "TransitionSystem: \n";
String text2 = transitionSystem.ToString() + " \n" + " \n" + " \n";
String text3 = "Properties: \n";
String text4 = "";
for (int i = 0; i < properties.Count(); i++)
{
Property property = properties[i].Property;
String name = properties[i].Name;
String prop = property.ToString();
String loc = property.Location.ToString();
text4 = text4 + "Name: " + name + " \n" + prop + " Location: " + loc + " \n";
}
String text = text1 + text2 + text3 + text4;
String nextFileName = getNextFileName("property_location");
System.IO.File.WriteAllText(nextFileName, text);
}