All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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();
	}

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy