org.sat4j.csp.xml
Class CspXmlParser

java.lang.Object
  org.sat4j.csp.xml.CspXmlParser

public class CspXmlParser
extends java.lang.Object

Constructor Summary

CspXmlParser()

Method Summary

static void

parse(ICSPCallback callback, java.lang.String filename)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CspXmlParser

public CspXmlParser()

Method Detail

parse

public static void parse(ICSPCallback callback,
                         java.lang.String filename)
                  throws org.xml.sax.SAXException,
                         javax.xml.parsers.ParserConfigurationException,
                         java.io.FileNotFoundException,
                         java.io.IOException

Throws:

org.xml.sax.SAXException

javax.xml.parsers.ParserConfigurationException

java.io.FileNotFoundException

java.io.IOException