Interface | Description |
---|---|
OutputInterface |
Class | Description |
---|---|
CSP2XML |
NOT IMPLEMENTED.
|
Logger | |
Output | |
OutputSMT | |
SugarConstants |
SugarConstants defines string constants of CSP symbols.
|
SugarMain |
SugarMain main class.
|
XCSP |
NOT IMPLEMENTED.
|
XML2CSP |
XML2CSP converts files in XCSP 2 format into CSP format.
|
Enum | Description |
---|---|
Output.Format | |
OutputSMT.Format |
Exception | Description |
---|---|
SugarException |
SugarException class.
|