| 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.
|