jp.kobe_u.sugar.encoder

Class FileProblem

java.lang.Object

jp.kobe_u.sugar.encoder.Problem

jp.kobe_u.sugar.encoder.FileProblem

public class FileProblem
extends Problem

Field Summary

Fields

Modifier and Type	Field and Description
static long	MAX_SAT_SIZE
static java.lang.String	PRAGMA_DOMINANT
static int	SAT_BUFFER_SIZE
static boolean	USE_NEWIO

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

clausesCount, FALSE_CODE, fileSize, GCNF, groups, GWCNF, topWeight, TRUE_CODE, variablesCount

Constructor Summary

Constructors

Constructor and Description
FileProblem(java.lang.String satFileName)

Method Summary

Modifier and Type	Method and Description
void	addComment(java.lang.String comment)
void	addNormalizedClause(int[] clause)
void	addPragmaDominant(int code0, int code1)
void	cancel()
void	clear()
void	close()
void	commit()
void	done()
void	flush()
void	open()
void	update()
void	write(byte[] b)
void	write(java.lang.String s)

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

addClause, addVariables, beginGroups, endGroups, isValid, normalizeClause, setGroups, summary

Methods inherited from class java.lang.Object

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

Field Detail

USE_NEWIO

public static boolean USE_NEWIO

SAT_BUFFER_SIZE

public static int SAT_BUFFER_SIZE

MAX_SAT_SIZE

public static long MAX_SAT_SIZE

PRAGMA_DOMINANT

public static java.lang.String PRAGMA_DOMINANT

Constructor Detail

FileProblem

public FileProblem(java.lang.String satFileName)
            throws SugarException

Throws:

SugarException

Method Detail

open

public void open()
          throws SugarException

Throws:

SugarException

write

public void write(byte[] b)
           throws SugarException

Throws:

SugarException

write

public void write(java.lang.String s)
           throws SugarException

Throws:

SugarException

flush

public void flush()
           throws SugarException

Throws:

SugarException

close

public void close()
           throws SugarException

Throws:

SugarException

update

public void update()
            throws SugarException

Throws:

SugarException

clear

public void clear()
           throws SugarException

Overrides:

clear in class Problem

Throws:

SugarException

commit

public void commit()
            throws SugarException

Overrides:

commit in class Problem

Throws:

SugarException

cancel

public void cancel()
            throws SugarException

Overrides:

cancel in class Problem

Throws:

SugarException

done

public void done()
          throws SugarException

Specified by:

done in class Problem

Throws:

SugarException

addComment

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

Overrides:

addComment in class Problem

Throws:

SugarException

addPragmaDominant

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

Overrides:

addPragmaDominant in class Problem

Throws:

SugarException

addNormalizedClause

public void addNormalizedClause(int[] clause)
                         throws SugarException

Specified by:

addNormalizedClause in class Problem

Throws:

SugarException