public class CSP2XML
extends java.lang.Object
Constructor and Description |
---|
CSP2XML(java.lang.String cspFileName,
java.lang.String xmlFileName,
boolean prolog)
Constructs a CSP to XCSP converter.
|
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
Main program of CSP2XCSP.
|