Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar
Class XML2CSP

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.XML2CSP

public class XML2CSP
extends Object

XML2CSP converts files in XCSP 2 format into CSP format.


Constructor Summary
XML2CSP(String xmlFileName, String cspFileName)
          Constructs a XCSP to CSP converter.
 
Method Summary
static void main(String[] args)
          Main program of XML2CSP.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XML2CSP

public XML2CSP(String xmlFileName,
               String cspFileName)
Constructs a XCSP to CSP converter.

Parameters:
xmlFileName -
cspFileName -
Method Detail

main

public static void main(String[] args)
Main program of XML2CSP.

Parameters:
args -

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver