|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
GoodOPBReader | This class is a quick hack to read opb formatted files. |
OPBEclipseReader2007 | |
OPBReader2005 | Based on the "Official" reader for the Pseudo Boolean evaluation 2005. |
OPBReader2006 | Reader complying to the PB06 input format. |
OPBReader2007 | Reader complying with the PB07 input format. |
PBInstanceReader | An reader having the responsibility to choose the right reader according to the input. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |