Serialized Form

Package org.jacop.constraints

Class org.jacop.constraints.Profile extends ArrayList<ProfileItem> implements Serializable

serialVersionUID:

8683452581100000012L

Serialized Fields

maxProfileItemHeight

int maxProfileItemHeight

type

short type

Package org.jacop.constraints.geost

Class org.jacop.constraints.geost.BoxDisplay extends JFrame implements Serializable

serialVersionUID:

-1620053778620352318L

Serialized Fields

pixelsPerUnit

int pixelsPerUnit

It specifies the number of pixels per unit of length.

xCellsShift

int xCellsShift

It defines the shift in x dimension for drawing.

yCellsShift

int yCellsShift

It defines the shift in x dimension for drawing.

bufferImage

Image bufferImage

displayImgae

Image displayImgae

Package org.jacop.core

Class org.jacop.core.FailException extends RuntimeException implements Serializable

serialVersionUID:

8683452581100000007L

Package org.jacop.floats.core

Class org.jacop.floats.core.InternalException extends RuntimeException implements Serializable

serialVersionUID:

8683452581100000009L

Package org.jacop.fz

Class org.jacop.fz.NumberSolutionsReached extends RuntimeException implements Serializable

Class org.jacop.fz.ParseException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

currentToken

org.jacop.fz.Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

String eol

The end of line string for this machine.

Class org.jacop.fz.Token extends Object implements Serializable

serialVersionUID:

1L

Serialized Fields

kind

int kind

An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java.

beginLine

int beginLine

The line number of the first character of this Token.

beginColumn

int beginColumn

The column number of the first character of this Token.

endLine

int endLine

The line number of the last character of this Token.

endColumn

int endColumn

The column number of the last character of this Token.

image

String image

The string image of the token.

next

org.jacop.fz.Token next

A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field.

specialToken

org.jacop.fz.Token specialToken

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.

Class org.jacop.fz.TokenMgrError extends Error implements Serializable

serialVersionUID:

1L

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Class org.jacop.fz.TrivialSolution extends RuntimeException implements Serializable

Package org.jacop.jasat.core

Class org.jacop.jasat.core.Config extends Properties implements Serializable

Serialized Fields

MAX_NUMBER_OF_DATABASES

int MAX_NUMBER_OF_DATABASES

how many clausesDatabases can we have ? must be a power of 2

MEMORY_POOL_STOCK_SIZE

int MEMORY_POOL_STOCK_SIZE

number of int[] of each size in the memory pool

MEMORY_POOL_MAX_SIZE

int MEMORY_POOL_MAX_SIZE

the maximum size of int[] to store in the memory pool

rebase_threshold

int rebase_threshold

threshold above which a rebase is performed for activity counters

bump_rate

int bump_rate

the default bump rate. It is added to activity at each bump()

trail_size

int trail_size

initial number of variables in the trail

verbosity

int verbosity

controls default solver verbosity

timeout

long timeout

the default timeout, in seconds, for searches.

debug

boolean debug

switch for debug mode

seed

long seed

random seed, to be changed if we want to redo the same run

RESTART_THRESHOLD_INCREASE_RATE

double RESTART_THRESHOLD_INCREASE_RATE

factor by which restart threshold is increased

RESTART_CONFLICT_THRESHOLD

long RESTART_CONFLICT_THRESHOLD

initial threshold (number of conflicts needed) for restarts

mainComponents

List<E> mainComponents

the list of components the solver must add

clausesDatabases

List<E> clausesDatabases

the list of databases the solver must add

Package org.jacop.jasat.utils

Class org.jacop.jasat.utils.CnfParser.ParseException extends Exception implements Serializable

Package org.jacop.util.fsm

Class org.jacop.util.fsm.RegularExpressionParser.SyntaxException extends Exception implements Serializable

serialVersionUID:

5532774111743285222L