Serialized Form
-
Package org.jacop.constraints
-
Class org.jacop.constraints.Profile
- serialVersionUID:
- 8683452581100000012L
-
Serialized Fields
-
maxProfileItemHeight
int maxProfileItemHeight
-
type
short type
-
-
-
Package org.jacop.constraints.geost
-
Class org.jacop.constraints.geost.BoxDisplay
class BoxDisplay extends JFrame implements Serializable- serialVersionUID:
- -1620053778620352318L
-
Serialized Fields
-
bufferImage
Image bufferImage
-
displayImgae
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
-
Exception org.jacop.core.FailException
class FailException extends RuntimeException implements Serializable- serialVersionUID:
- 8683452581100000007L
-
-
Package org.jacop.floats.core
-
Exception org.jacop.floats.core.InternalException
class InternalException extends RuntimeException implements Serializable- serialVersionUID:
- 8683452581100000009L
-
-
Package org.jacop.fz
-
Exception org.jacop.fz.NumberSolutionsReached
class NumberSolutionsReached extends RuntimeException implements Serializable -
Exception org.jacop.fz.ParseException
class ParseException extends 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
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
class Token extends 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
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.
-
-
Error org.jacop.fz.TokenMgrError
class 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.
-
-
Exception org.jacop.fz.TrivialSolution
class TrivialSolution extends RuntimeException implements Serializable
-
-
Package org.jacop.jasat.core
-
Class org.jacop.jasat.core.Config
class Config extends Properties implements Serializable-
Serialized Fields
-
bump_rate
int bump_rate
the default bump rate. It is added to activity at each bump() -
clausesDatabases
List<AbstractClausesDatabase> clausesDatabases
the list of databases the solver must add -
debug
boolean debug
switch for debug mode -
mainComponents
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
-
Exception org.jacop.jasat.utils.CnfParser.ParseException
class ParseException extends Exception implements Serializable
-
-
Package org.jacop.util.fsm
-
Exception org.jacop.util.fsm.RegularExpressionParser.SyntaxException
class SyntaxException extends Exception implements Serializable- serialVersionUID:
- 5532774111743285222L
-