jp.kobe_u.sugar.pb

Class PBFileProblem

java.lang.Object

jp.kobe_u.sugar.pb.PBProblem

jp.kobe_u.sugar.pb.PBFileProblem

public class PBFileProblem
extends PBProblem

Field Summary

Fields

Modifier and Type	Field and Description
static long	MAX_PB_SIZE
static int	PB_BUFFER_SIZE

Fields inherited from class jp.kobe_u.sugar.pb.PBProblem

constraintsCount, fileSize, variablesCount

Constructor Summary

Constructors

Constructor and Description
PBFileProblem(java.lang.String pbFileName)

Method Summary

Modifier and Type	Method and Description
void	addComment(java.lang.String comment)
void	addMinExpr(PBExpr minExpr)
void	addPBConstraint(PBExpr expr)
void	addPMin(java.lang.String pmin)
void	cancel()
void	clear()
void	close()
void	commit()
void	done()
void	flush()
void	open()
void	update()
void	write(byte[] b)
void	write(java.lang.String s)

Methods inherited from class jp.kobe_u.sugar.pb.PBProblem

addPB, addVariables, summary

Methods inherited from class java.lang.Object

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

Field Detail

PB_BUFFER_SIZE

public static int PB_BUFFER_SIZE

MAX_PB_SIZE

public static long MAX_PB_SIZE

Constructor Detail

PBFileProblem

public PBFileProblem(java.lang.String pbFileName)
              throws SugarException

Throws:

SugarException

Method Detail

open

public void open()
          throws SugarException

Throws:

SugarException

write

public void write(byte[] b)
           throws SugarException

Throws:

SugarException

write

public void write(java.lang.String s)
           throws SugarException

Throws:

SugarException

flush

public void flush()
           throws SugarException

Throws:

SugarException

close

public void close()
           throws SugarException

Throws:

SugarException

update

public void update()
            throws SugarException

Throws:

SugarException

clear

public void clear()
           throws SugarException

Overrides:

clear in class PBProblem

Throws:

SugarException

commit

public void commit()
            throws SugarException

Overrides:

commit in class PBProblem

Throws:

SugarException

cancel

public void cancel()
            throws SugarException

Overrides:

cancel in class PBProblem

Throws:

SugarException

done

public void done()
          throws SugarException

Specified by:

done in class PBProblem

Throws:

SugarException

addComment

public void addComment(java.lang.String comment)
                throws SugarException

Overrides:

addComment in class PBProblem

Throws:

SugarException

addPBConstraint

public void addPBConstraint(PBExpr expr)
                     throws SugarException

Specified by:

addPBConstraint in class PBProblem

Throws:

SugarException

addMinExpr

public void addMinExpr(PBExpr minExpr)
                throws SugarException

Specified by:

addMinExpr in class PBProblem

Throws:

SugarException

addPMin

public void addPMin(java.lang.String pmin)
             throws SugarException

Specified by:

addPMin in class PBProblem

Throws:

SugarException