org.sat4j.csp.xml
Class CspXmlParser

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

public class CspXmlParser
extends Object

Constructor Summary

CspXmlParser()

Method Summary

static void

parse(ICSPCallback callback, 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,
                         String filename)
                  throws SAXException,
                         ParserConfigurationException,
                         FileNotFoundException,
                         IOException

Throws:

SAXException

ParserConfigurationException

FileNotFoundException

IOException