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