public class GoodOPBReader extends Reader implements Serializable
Constructor and Description |
---|
GoodOPBReader(IPBSolver solver) |
Modifier and Type | Method and Description |
---|---|
String |
decode(int[] model) |
void |
decode(int[] model,
PrintWriter out) |
IProblem |
parseInstance(InputStream in) |
IProblem |
parseInstance(Reader in) |
isVerbose, parseInstance, setVerbosity
public GoodOPBReader(IPBSolver solver)
public final IProblem parseInstance(Reader in) throws ParseFormatException, ContradictionException, IOException
parseInstance
in class Reader
ParseFormatException
ContradictionException
IOException
public void decode(int[] model, PrintWriter out)
public IProblem parseInstance(InputStream in) throws ParseFormatException, ContradictionException, IOException
parseInstance
in class Reader
ParseFormatException
ContradictionException
IOException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.