• Home
• org.sat4j
• org.sat4j.csp.xmlparser
• 2.3.0
• source code
• Domains.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.sat4j.csp.xml.Domains Maven / Gradle / Ivy

package org.sat4j.csp.xml;
import org.xml.sax.Attributes;

import static org.sat4j.csp.xml.TagNames.NB_DOMAINS;

class Domains extends Element {

    public Domains(ICSPCallback out,String tagName) {
		super(out,tagName);
	}

	public void startElement(Attributes att){
		getCB().beginDomainsSection(Integer.parseInt(att.getValue(NB_DOMAINS)));
	}

	public void endElement() {
		getCB().endDomainsSection();
	}

}