|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| AAGReader | Reader for the ASCII And Inverter Graph format defined by Armin Biere. |
| AIGReader | Reader for the Binary And Inverter Graph format defined by Armin Biere. |
| CSPExtSupportReader | |
| CSPInstanceReader | An reader having the responsability to choose the right reader according to the input. |
| CSPReader | This class is a CSP to SAT translator that is able to read a CSP problem using the First CSP solver competition input format and that translates it into clausal and cardinality (equality) constraints. |
| CSPSupportReader | |
| DimacsReader | Very simple Dimacs file parser. |
| EfficientScanner | Efficient scanner based on the LecteurDimacs class written by Frederic Laihem. |
| GroupedCNFReader | |
| InstanceReader | An reader having the responsability to choose the right reader according to the input. |
| LecteurDimacs | Dimacs Reader written by Frederic Laihem. |
| Reader | A reader is responsible to feed an ISolver from a text file and to convert the model found by the solver to a textual representation. |
| XMLCSPReader | |
| Exception Summary | |
|---|---|
| ParseFormatException | Exception launched when there is a problem during parsing. |
Some utility classes to read problems from plain text files.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||