1 package org.sat4j.csp.xml;
2 import org.xml.sax.Attributes;
3
4 import static org.sat4j.csp.xml.TagNames.*;
5
6 class Variable extends Element {
7
8 public Variable(ICSPCallback out,String tagName) {
9 super(out,tagName);
10 }
11
12 public void startElement(Attributes att) {
13 getCB().addVariable(att.getValue(NAME), att.getValue(DOMAIN));
14 }
15
16 }