private static void Main()
{
List <string> files = new List <string>(Directory.GetFiles("examples")).Where(f => new Regex(@".*-ft.dot$").IsMatch(f)).ToList();
foreach (string s in files.Take(1))
{
Console.WriteLine("Converting tree " + s);
IFaultTreeCodec codec = FaultTreeEncoderFactory.CreateFaultTreeCodec(s);
FaultTree.FaultTree ft = codec.Read(s);
//ft = ft.deepCopy().replace(1, false).simplify();
//IFaultTreeCodec xmlCodec = FaultTreeEncoderFactory.createFaultTreeCodec(FaultTreeFormat.FAULT_TREE_XML);
//xmlCodec.write(ft, s + ".xml");
BDDNode test = BDDFactory.GetComponentConnectionInstance().CreateBDD(ft);
Console.WriteLine("Successfully converted tree");
IBDDCodec bCodec = BDDEncoderFactory.CreateFaultTreeCodec(s + ".dot");
bCodec.Write(new BinaryDecisionDiagram(test), s + ".dot");
}
Console.WriteLine("Finished construction");
Console.ReadKey();
}
private void SaveToFile(string fileName)
{
FaultTreeEncoderFactory.CreateFaultTreeCodec(FaultTreeFormat.FAULT_TREE_XML).Write(this.ViewModel.FaultTree, fileName);
}
private void LoadFromFile(string fileName)
{
this.ViewModel.FaultTree = FaultTreeEncoderFactory.CreateFaultTreeCodec(fileName).Read(fileName);
}