1 package org.sat4j.csp.xml;
2 import org.xml.sax.Attributes;
3
4 import static org.sat4j.csp.xml.TagNames.*;
5
6 class Relations extends Element {
7
8
9 public Relations(ICSPCallback out,String tagName) {
10 super(out,tagName);
11 }
12
13 public void startElement(Attributes att) {
14 getCB().beginRelationsSection(
15 Integer.parseInt(att.getValue(NB_RELATIONS)));
16 }
17
18 public void endElement() {
19 getCB().endRelationsSection();
20 }
21
22 }