Serialized Form
-
Package org.jacop.constraints
-
Class org.jacop.constraints.Profile extends java.util.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 javax.swing.JFrame implements Serializable
- serialVersionUID:
- -1620053778620352318L
-
Serialized Fields
-
bufferImage
java.awt.Image bufferImage
-
displayImgae
java.awt.Image displayImgae
-
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.
-
-
-
Package org.jacop.core
-
Class org.jacop.core.FailException extends java.lang.RuntimeException implements Serializable
- serialVersionUID:
- 8683452581100000007L
-
-
Package org.jacop.floats.core
-
Class org.jacop.floats.core.InternalException extends java.lang.RuntimeException implements Serializable
- serialVersionUID:
- 8683452581100000009L
-
-
Package org.jacop.fz
-
Class org.jacop.fz.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
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
java.lang.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.
-
-
Class org.jacop.fz.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
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. -
next
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
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 java.lang.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 java.lang.RuntimeException implements Serializable
-
-
Package org.jacop.jasat.core
-
Class org.jacop.jasat.core.Config extends java.util.Properties implements Serializable
-
Serialized Fields
-
bump_rate
int bump_rate
the default bump rate. It is added to activity at each bump() -
clausesDatabases
java.util.List<AbstractClausesDatabase> clausesDatabases
the list of databases the solver must add -
debug
boolean debug
switch for debug mode -
mainComponents
java.util.List<SolverComponent> mainComponents
the list of components the solver must add -
MAX_NUMBER_OF_DATABASES
int MAX_NUMBER_OF_DATABASES
how many clausesDatabases can we have ? must be a power of 2 -
MEMORY_POOL_MAX_SIZE
int MEMORY_POOL_MAX_SIZE
the maximum size of int[] to store in the memory pool -
MEMORY_POOL_STOCK_SIZE
int MEMORY_POOL_STOCK_SIZE
number of int[] of each size in the memory pool -
rebase_threshold
int rebase_threshold
threshold above which a rebase is performed for activity counters -
RESTART_CONFLICT_THRESHOLD
long RESTART_CONFLICT_THRESHOLD
initial threshold (number of conflicts needed) for restarts -
RESTART_THRESHOLD_INCREASE_RATE
double RESTART_THRESHOLD_INCREASE_RATE
factor by which restart threshold is increased -
seed
long seed
random seed, to be changed if we want to redo the same run -
timeout
long timeout
the default timeout, in seconds, for searches. -
trail_size
int trail_size
initial number of variables in the trail -
verbosity
int verbosity
controls default solver verbosity
-
-
-
-
Package org.jacop.jasat.utils
-
Class org.jacop.jasat.utils.CnfParser.ParseException extends java.lang.Exception implements Serializable
-
-
Package org.jacop.util.fsm
-
Class org.jacop.util.fsm.RegularExpressionParser.SyntaxException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 5532774111743285222L
-