jp.kobe_u.sugar.encoder

Class AbstractEncoder

java.lang.Object

jp.kobe_u.sugar.encoder.AbstractEncoder

Direct Known Subclasses:

OrderEncoder

public abstract class AbstractEncoder
extends java.lang.Object

AbstractEncoder.

See Also:

CSP

Field Summary

Fields

Modifier and Type	Field and Description
CSP	csp
Problem	problem

Constructor Summary

Constructors

Constructor and Description
AbstractEncoder(CSP csp, Problem problem)

Method Summary

Modifier and Type	Method and Description
boolean	decode(java.lang.String outFileName)
void	encode()
abstract void	encodeClause(Clause c)
void	encodeDelta()
abstract void	encodeIntegerVariable(IntegerVariable v)
int	negateCode(int code)
void	outputMap(java.lang.String mapFileName)

Methods inherited from class java.lang.Object

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

Field Detail

csp

public CSP csp

problem

public Problem problem

Constructor Detail

AbstractEncoder

public AbstractEncoder(CSP csp,
                       Problem problem)

Method Detail

negateCode

public int negateCode(int code)

encodeIntegerVariable

public abstract void encodeIntegerVariable(IntegerVariable v)
                                    throws SugarException

Throws:

SugarException

encodeClause

public abstract void encodeClause(Clause c)
                           throws SugarException

Throws:

SugarException

encode

public void encode()
            throws SugarException

Throws:

SugarException

encodeDelta

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

Throws:

java.io.IOException

SugarException

outputMap

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

Throws:

SugarException

java.io.IOException

decode

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

Throws:

SugarException

java.io.IOException