jp.kobe_u.sugar.pb

Class PBEncoder

java.lang.Object

jp.kobe_u.sugar.pb.PBEncoder

public class PBEncoder
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PBEncoder.Encoding

Field Summary

Fields

Modifier and Type	Field and Description
static int	BASE
CSP	csp
PBEncoder.Encoding	encoding
static int	ENCODING_OPTION
static int	MAX_VAREXPRMAP_SIZE
static int	MIXED_BASE
PBProblem	problem

Constructor Summary

Constructors

Constructor and Description
PBEncoder(CSP csp, PBProblem problem, PBEncoder.Encoding encoding)

Method Summary

Modifier and Type	Method and Description
void	cancel()
void	commit()
boolean	decode(java.lang.String outFileName)
void	encode()
void	encodeDelta()
void	outputMap(java.lang.String mapFileName)

Methods inherited from class java.lang.Object

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

Field Detail

MAX_VAREXPRMAP_SIZE

public static int MAX_VAREXPRMAP_SIZE

BASE

public static int BASE

ENCODING_OPTION

public static int ENCODING_OPTION

MIXED_BASE

public static int MIXED_BASE

csp

public CSP csp

problem

public PBProblem problem

encoding

public PBEncoder.Encoding encoding

Constructor Detail

PBEncoder

public PBEncoder(CSP csp,
                 PBProblem problem,
                 PBEncoder.Encoding encoding)

Method Detail

commit

public void commit()
            throws SugarException

Throws:

SugarException

cancel

public void cancel()
            throws SugarException

Throws:

SugarException

encodeDelta

public void encodeDelta()
                 throws java.io.IOException,
                        SugarException

Throws:

java.io.IOException

SugarException

encode

public void encode()
            throws SugarException

Throws:

SugarException

outputMap

public void outputMap(java.lang.String mapFileName)
               throws java.io.IOException

Throws:

java.io.IOException

decode

public boolean decode(java.lang.String outFileName)
               throws java.io.IOException,
                      SugarException

Throws:

java.io.IOException

SugarException