org.sat4j.maxsat.reader
Class WDimacsReader
java.lang.Object
org.sat4j.reader.Reader
org.sat4j.reader.DimacsReader
org.sat4j.maxsat.reader.WDimacsReader
- All Implemented Interfaces:
- Serializable
public class WDimacsReader
- extends DimacsReader
Simple reader for the weighted maxsat problem.
- Author:
- daniel
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
weight
protected BigInteger weight
top
protected BigInteger top
WDimacsReader
public WDimacsReader(WeightedMaxSatDecorator solver)
WDimacsReader
public WDimacsReader(WeightedMaxSatDecorator solver,
String format)
flushConstraint
protected void flushConstraint()
throws ContradictionException
- Overrides:
flushConstraint
in class DimacsReader
- Throws:
ContradictionException
handleLine
protected boolean handleLine()
throws ContradictionException,
IOException,
ParseFormatException
- Overrides:
handleLine
in class DimacsReader
- Throws:
ContradictionException
IOException
ParseFormatException
readProblemLine
protected void readProblemLine()
throws IOException,
ParseFormatException
- Overrides:
readProblemLine
in class DimacsReader
- Throws:
IOException
ParseFormatException
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.