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