Serialized Form

  • Package org.jacop.constraints

  • 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

  • Package org.jacop.floats.core

  • 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 following 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

  • Package org.jacop.util.fsm