jp.kobe_u.sugar.pb

Class PBProblem

java.lang.Object

jp.kobe_u.sugar.pb.PBProblem

Direct Known Subclasses:

PBFileProblem

public abstract class PBProblem
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	constraintsCount
long	fileSize
int	variablesCount

Constructor Summary

Constructors

Constructor and Description
PBProblem()

Method Summary

Modifier and Type	Method and Description
void	addComment(java.lang.String comment)
abstract void	addMinExpr(PBExpr minExpr)
void	addPB(PBExpr expr)
abstract void	addPBConstraint(PBExpr expr)
abstract void	addPMin(java.lang.String pmin)
int	addVariables(int number)
void	cancel()
void	clear()
void	commit()
abstract void	done()
java.lang.String	summary()

Methods inherited from class java.lang.Object

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

Field Detail

variablesCount

public int variablesCount

constraintsCount

public int constraintsCount

fileSize

public long fileSize

Constructor Detail

PBProblem

public PBProblem()

Method Detail

clear

public void clear()
           throws SugarException

Throws:

SugarException

commit

public void commit()
            throws SugarException

Throws:

SugarException

cancel

public void cancel()
            throws SugarException

Throws:

SugarException

done

public abstract void done()
                   throws SugarException

Throws:

SugarException

addVariables

public int addVariables(int number)
                 throws SugarException

Throws:

SugarException

addComment

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

Throws:

SugarException

addPBConstraint

public abstract void addPBConstraint(PBExpr expr)
                              throws SugarException

Throws:

SugarException

addPB

public void addPB(PBExpr expr)
           throws SugarException

Throws:

SugarException

addMinExpr

public abstract void addMinExpr(PBExpr minExpr)
                         throws SugarException

Throws:

SugarException

addPMin

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

Throws:

SugarException

summary

public java.lang.String summary()