public LinkedList<XMLElement> getXMLElementList() {
LinkedList<XMLElement> xmlElementList = new LinkedList<XMLElement>();
XMLElement xmlElement = new XMLElement(NAME);
if (this.nr != null) {
XMLAttribute xmlAttribute = new XMLAttribute("nr", this.nr);
xmlElement.getXMLAttributeList().add(xmlAttribute);
}
if (this.aid != null) {
XMLAttribute xmlAttribute = new XMLAttribute("aid", this.aid);
xmlElement.getXMLAttributeList().add(xmlAttribute);
}
if (this.constrkind != null) {
XMLAttribute xmlAttribute = new XMLAttribute("constrkind", this.constrkind.name());
xmlElement.getXMLAttributeList().add(xmlAttribute);
}
if (this.constrnr != null) {
XMLAttribute xmlAttribute = new XMLAttribute("constrnr", this.constrnr);
xmlElement.getXMLAttributeList().add(xmlAttribute);
}
boolean isEmpty = !(errorIdentify != null
|| !typList.isEmpty() || term1 != null
|| term2 != null || formula1 != null