public XmlNode CreateXmlNode(XmlDocument doc, string nodeName)
{
if (doc == null)
{
throw new ArgumentNullException("doc");
}
XmlNode result = doc.CreateElement(nodeName);
FSMXmlWorker w1 = new FSMXmlWorker(value.FSM);
result.AppendChild(w1.CreateXmlNode(doc, "FSM"));
var partitionsNode = doc.CreateElement("OrtPartitionsSet");
foreach (var partition in value.DecomposeAlg.OrtPartitionsSet)
{
StatePartitionXmlWorker w2 = new StatePartitionXmlWorker(partition);
partitionsNode.AppendChild(w2.CreateXmlNode(doc));
}
result.AppendChild(partitionsNode);
return(result);
}
public void ParseFromNode(XmlNode node)
{
if (node == null)
{
throw new ArgumentNullException("node");
}
try
{
for (int i = 0; i < node.ChildNodes.Count; ++i)
{
var childNode = node.ChildNodes[i];
if (childNode.Name.ToLower() == "fsm")
{
FSMXmlWorker w = new FSMXmlWorker();
w.ParseFromNode(childNode);
var fsm = w.Value as FiniteStateMachine <StructAtom <string>, StructAtom <string> >;
if (fsm != null)
{
value = new FSMNet <StructAtom <string>, StructAtom <string> >(fsm);
}
break;
}
}
if (value != null)
{
for (int i = 0; i < node.ChildNodes.Count; ++i)
{
var childNode = node.ChildNodes[i];
if (childNode.Name.ToLower() == "ortpartitionsset")
{
for (int j = 0; j < childNode.ChildNodes.Count; ++j)
{
var childChildNode = childNode.ChildNodes[j];
StatePartitionXmlWorker w = new StatePartitionXmlWorker();
w.FSM = value.FSM;
if (childChildNode.Name == w.NodeName)
{
w.ParseFromNode(childChildNode);
var partition = w.Value as Partition <FSMState <StructAtom <string>, StructAtom <string> > >;
if (partition != null)
{
if (value.DecomposeAlg == null)
{
value.DecomposeAlg = new DecompositionAlgorithm <StructAtom <string>, StructAtom <string> >(value.FSM);
}
value.DecomposeAlg.AddPI(partition);
}
}
}
break;
}
}
if (value.DecomposeAlg != null)
{
value = value.DecomposeAlg.Solve();
}
}
}
catch (Exception exc)
{
value = null;
throw exc;
}
}
