org.sat4j.maxsat.reader

Class MSInstanceReader

java.lang.Object

org.sat4j.reader.Reader

org.sat4j.reader.InstanceReader

org.sat4j.pb.reader.PBInstanceReader

org.sat4j.maxsat.reader.MSInstanceReader

public class MSInstanceReader
extends PBInstanceReader

Constructor Summary

Constructors

Constructor and Description
MSInstanceReader(WeightedMaxSatDecorator solver)

Method Summary

Methods

Modifier and Type	Method and Description
protected Reader	handleFileName(String fname, String prefix)

Methods inherited from class org.sat4j.pb.reader.PBInstanceReader

hasObjectiveFunction

Methods inherited from class org.sat4j.reader.InstanceReader

decode, decode, parseInstance, parseInstance

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MSInstanceReader

public MSInstanceReader(WeightedMaxSatDecorator solver)

Method Detail

handleFileName

protected Reader handleFileName(String fname,
                    String prefix)

Overrides:

handleFileName in class PBInstanceReader