org.sat4j.csp.xml.Predicates Maven / Gradle / Ivy
The newest version!
package org.sat4j.csp.xml;
import org.xml.sax.Attributes;
class Predicates extends Element {
public Predicates(ICSPCallback out,String tagName) {
super(out,tagName);
}
public void startElement(Attributes att) {
getCB().beginPredicatesSection(
Integer.parseInt(att.getValue("nbPredicates")));
}
public void endElement() {
getCB().endPredicatesSection();
}
}