jp.kobe_u.sugar.encoder

Class Encoder

java.lang.Object

jp.kobe_u.sugar.encoder.AbstractEncoder

jp.kobe_u.sugar.encoder.OrderEncoder

jp.kobe_u.sugar.encoder.Encoder

public class Encoder
extends OrderEncoder

Encoder encodes CSP into SAT.

See Also:

CSP

Field Summary

Fields inherited from class jp.kobe_u.sugar.encoder.AbstractEncoder

csp, problem

Constructor Summary

Constructors

Constructor and Description
Encoder(CSP csp)

Method Summary

Modifier and Type	Method and Description
void	cancel()
void	commit()
boolean	decode(java.lang.String outFileName)
void	encode(Problem problem)
void	encode(java.lang.String satFileName)
void	encode(java.lang.String satFileName, boolean incremental)
int	getSatClausesCount()
long	getSatFileSize()
int	getSatVariablesCount()
void	outputMap(java.lang.String mapFileName)
java.lang.String	summary()

Methods inherited from class jp.kobe_u.sugar.encoder.OrderEncoder

encodeClause, encodeIntegerVariable

Methods inherited from class jp.kobe_u.sugar.encoder.AbstractEncoder

encode, encodeDelta, negateCode

Methods inherited from class java.lang.Object

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

Constructor Detail

Encoder

public Encoder(CSP csp)

Method Detail

commit

public void commit()
            throws SugarException

Throws:

SugarException

cancel

public void cancel()
            throws SugarException

Throws:

SugarException

getSatVariablesCount

public int getSatVariablesCount()

getSatClausesCount

public int getSatClausesCount()

getSatFileSize

public long getSatFileSize()

encode

public void encode(Problem problem)
            throws SugarException

Throws:

SugarException

encode

public void encode(java.lang.String satFileName)
            throws SugarException

Throws:

SugarException

encode

public void encode(java.lang.String satFileName,
                   boolean incremental)
            throws SugarException

Throws:

SugarException

outputMap

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

Overrides:

outputMap in class AbstractEncoder

Throws:

java.io.IOException

decode

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

Overrides:

decode in class AbstractEncoder

Throws:

SugarException

java.io.IOException

summary

public java.lang.String summary()