org.sat4j.pb.reader

Class PBInstanceReader

java.lang.Object

org.sat4j.reader.Reader

org.sat4j.reader.InstanceReader

org.sat4j.pb.reader.PBInstanceReader

public class PBInstanceReader
extends InstanceReader

An reader having the responsibility to choose the right reader according to the input.

Author:

leberre

Constructor Summary

Constructors

Constructor and Description
PBInstanceReader(IPBSolver solver)

Method Summary

Modifier and Type	Method and Description
protected Collection<String>	getReservedPrefixes()
protected Reader	handleFileName(String fname, String prefix)
boolean	hasObjectiveFunction()

Methods inherited from class org.sat4j.reader.InstanceReader

decode, decode, getMapping, hasAMapping, parseInstance, parseInstance

Methods inherited from class org.sat4j.reader.Reader

getInputStreamFromFilename, isUsingMapping, isVerbose, parseInstance, setUseMapping, setVerbosity

Methods inherited from class java.lang.Object

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

Constructor Detail

PBInstanceReader

public PBInstanceReader(IPBSolver solver)

Method Detail

hasObjectiveFunction

public boolean hasObjectiveFunction()

handleFileName

protected Reader handleFileName(String fname,
                                String prefix)

Overrides:

handleFileName in class InstanceReader

getReservedPrefixes

protected Collection<String> getReservedPrefixes()

Overrides:

getReservedPrefixes in class InstanceReader