private void WriteImplication(XmlElement target, Implication implication) { XmlElement eImplication = Document.CreateElement("imp", DatalogNamespaceURL); // action mapping String action = String.Empty; if (implication.Action != ImplicationAction.Assert) { action = implication.Action.ToString().ToLower(); } ImplicationProperties ip = new ImplicationProperties(implication.Label, implication.Priority, implication.Mutex, implication.Precondition, action); WriteLabel(eImplication, ip.ToString()); XmlElement head = Document.CreateElement("_head", DatalogNamespaceURL); WriteAtom(head, implication.Deduction, false); eImplication.AppendChild(head); XmlElement body = Document.CreateElement("_body", DatalogNamespaceURL); WriteAtomGroup(body, implication.AtomGroup); eImplication.AppendChild(body); target.AppendChild(eImplication); }
protected void WriteImplication(XmlElement target, Implication implication) { XmlElement implicationElement = Document.CreateElement("Implies", DatalogNamespaceURL); // action mapping String action = String.Empty; if (implication.Action != ImplicationAction.Assert) { action = implication.Action.ToString().ToLower(); } ImplicationProperties ip = new ImplicationProperties(implication.Label, implication.Priority, implication.Mutex, implication.Precondition, action); WriteLabel(implicationElement, ip.ToString()); if (syntax == SaveFormatAttributes.Compact) { // in compact mode, the order is forced to body,head (equivalent to if,then) WriteAtomGroup(implicationElement, implication.AtomGroup); WriteAtom(implicationElement, implication.Deduction, false); } else { XmlElement body = Document.CreateElement("body", DatalogNamespaceURL); WriteAtomGroup(body, implication.AtomGroup); implicationElement.AppendChild(body); XmlElement head = Document.CreateElement("head", DatalogNamespaceURL); WriteAtom(head, implication.Deduction, false); implicationElement.AppendChild(head); } if (syntax == SaveFormatAttributes.Expanded) { XmlElement formula = Document.CreateElement("formula", DatalogNamespaceURL); formula.AppendChild(implicationElement); target.AppendChild(formula); } else { target.AppendChild(implicationElement); } }
protected void WriteImplication(XmlElement target, Implication implication) { XmlElement implicationElement = Document.CreateElement("Implies", DatalogNamespaceURL); // action mapping String action = String.Empty; if (implication.Action != ImplicationAction.Assert) action = implication.Action.ToString().ToLower(); ImplicationProperties ip = new ImplicationProperties(implication.Label, implication.Priority, implication.Mutex, implication.Precondition, action); WriteLabel(implicationElement, ip.ToString()); if (syntax == SaveFormatAttributes.Compact) { // in compact mode, the order is forced to body,head (equivalent to if,then) WriteAtomGroup(implicationElement, implication.AtomGroup); WriteAtom(implicationElement, implication.Deduction, false); } else { XmlElement body = Document.CreateElement("body", DatalogNamespaceURL); WriteAtomGroup(body, implication.AtomGroup); implicationElement.AppendChild(body); XmlElement head = Document.CreateElement("head", DatalogNamespaceURL); WriteAtom(head, implication.Deduction, false); implicationElement.AppendChild(head); } if (syntax == SaveFormatAttributes.Expanded) { XmlElement formula = Document.CreateElement("formula", DatalogNamespaceURL); formula.AppendChild(implicationElement); target.AppendChild(formula); } else { target.AppendChild(implicationElement); } }
private void WriteImplication(XmlElement target, Implication implication) { XmlElement eImplication = Document.CreateElement("imp", DatalogNamespaceURL); // action mapping String action = String.Empty; if (implication.Action != ImplicationAction.Assert) action = implication.Action.ToString().ToLower(); ImplicationProperties ip = new ImplicationProperties(implication.Label, implication.Priority, implication.Mutex, implication.Precondition, action); WriteLabel(eImplication, ip.ToString()); XmlElement head = Document.CreateElement("_head", DatalogNamespaceURL); WriteAtom(head, implication.Deduction, false); eImplication.AppendChild(head); XmlElement body = Document.CreateElement("_body", DatalogNamespaceURL); WriteAtomGroup(body, implication.AtomGroup); eImplication.AppendChild(body); target.AppendChild(eImplication); }