public class XML2CSP extends Object
XML2CSP(String xmlFileName, String cspFileName)
void
convert()
load()
static void
main(String[] args)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public XML2CSP(String xmlFileName, String cspFileName)
xmlFileName
cspFileName
public void convert() throws IOException
IOException
public void load() throws IOException, ParserConfigurationException, SAXException
ParserConfigurationException
SAXException
public static void main(String[] args)
args
Sugar: A SAT-based Constraint Solver