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