|
||||||||||
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. |
DimacsReader | Very simple Dimacs file parser. |
EfficientScanner | Efficient scanner based on the LecteurDimacs class written by Frederic Laihem. |
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. |
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 |