public class PBEncoder extends 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 |
PBProblem |
problem |
Constructor and Description |
---|
PBEncoder(CSP csp,
PBProblem problem,
PBEncoder.Encoding encoding) |
public static int MAX_VAREXPRMAP_SIZE
public static int BASE
public static int ENCODING_OPTION
public CSP csp
public PBProblem problem
public PBEncoder.Encoding encoding
public PBEncoder(CSP csp, PBProblem problem, PBEncoder.Encoding encoding)
public void encode() throws SugarException
SugarException
public void outputMap(String mapFileName) throws IOException
IOException
public boolean decode(String outFileName) throws IOException, SugarException
IOException
SugarException