public class PBEncoder
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
PBEncoder.Encoding |
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 and Description |
---|
PBEncoder(CSP csp,
PBProblem problem,
PBEncoder.Encoding encoding) |
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) |
public static int MAX_VAREXPRMAP_SIZE
public static int BASE
public static int ENCODING_OPTION
public static int MIXED_BASE
public CSP csp
public PBProblem problem
public PBEncoder.Encoding encoding
public PBEncoder(CSP csp, PBProblem problem, PBEncoder.Encoding encoding)
public void commit() throws SugarException
SugarException
public void cancel() throws SugarException
SugarException
public void encodeDelta() throws java.io.IOException, SugarException
java.io.IOException
SugarException
public void encode() throws SugarException
SugarException
public void outputMap(java.lang.String mapFileName) throws java.io.IOException
java.io.IOException
public boolean decode(java.lang.String outFileName) throws java.io.IOException, SugarException
java.io.IOException
SugarException