jp.kobe_u.sugar.encoder

Class Problem

java.lang.Object

jp.kobe_u.sugar.encoder.Problem

Direct Known Subclasses:

FileProblem

public abstract class Problem
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	clausesCount
static int	FALSE_CODE
long	fileSize
static boolean	GCNF
int	groups
static boolean	GWCNF
int	topWeight
static int	TRUE_CODE
int	variablesCount

Constructor Summary

Constructors

Constructor and Description
Problem()

Method Summary

Modifier and Type	Method and Description
void	addClause(int[] clause)
void	addComment(java.lang.String comment)
abstract void	addNormalizedClause(int[] clause)
void	addPragmaDominant(int code0, int code1)
void	addVariables(int number)
void	beginGroups(java.util.List<java.lang.Integer> groups, int weight)
void	cancel()
void	clear()
void	commit()
abstract void	done()
void	endGroups()
boolean	isValid(int[] clause)
int[]	normalizeClause(int[] clause)
void	setGroups(int groups, int topWeight)
java.lang.String	summary()

Methods inherited from class java.lang.Object

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

Field Detail

GCNF

public static boolean GCNF

GWCNF

public static boolean GWCNF

FALSE_CODE

public static final int FALSE_CODE

See Also:

Constant Field Values

TRUE_CODE

public static final int TRUE_CODE

See Also:

Constant Field Values

groups

public int groups

topWeight

public int topWeight

variablesCount

public int variablesCount

clausesCount

public int clausesCount

fileSize

public long fileSize

Constructor Detail

Problem

public Problem()

Method Detail

clear

public void clear()
           throws SugarException

Throws:

SugarException

commit

public void commit()
            throws SugarException

Throws:

SugarException

cancel

public void cancel()
            throws SugarException

Throws:

SugarException

done

public abstract void done()
                   throws SugarException

Throws:

SugarException

addVariables

public void addVariables(int number)
                  throws SugarException

Throws:

SugarException

isValid

public boolean isValid(int[] clause)

normalizeClause

public int[] normalizeClause(int[] clause)

addComment

public void addComment(java.lang.String comment)
                throws SugarException

Throws:

SugarException

addPragmaDominant

public void addPragmaDominant(int code0,
                              int code1)
                       throws SugarException

Throws:

SugarException

setGroups

public void setGroups(int groups,
                      int topWeight)

addNormalizedClause

public abstract void addNormalizedClause(int[] clause)
                                  throws SugarException

Throws:

SugarException

addClause

public void addClause(int[] clause)
               throws SugarException

Throws:

SugarException

beginGroups

public void beginGroups(java.util.List<java.lang.Integer> groups,
                        int weight)

endGroups

public void endGroups()

summary

public java.lang.String summary()