Class Measures

    • Field Detail

      • modelName

        protected String modelName
        Name of the model observed -- no reference to the model should be done in this class
      • boundsManager

        protected IBoundsManager boundsManager
        Reference to the bound manager
      • objectiveOptimal

        protected boolean objectiveOptimal
        Indicates if the optimal value has been proven for the objective (set to true).
      • solutionCount

        protected long solutionCount
        Counts the number of solutions found so far.
      • timeCount

        protected long timeCount
        Counts the time spent so far, starting from solver construction call.
      • readingTimeCount

        protected long readingTimeCount
        Counts the time spent into reading the model
      • nodeCount

        protected long nodeCount
        Counts the number of nodes opened so far.
      • backtrackCount

        protected long backtrackCount
        Counts the number of backtracks done so far.
      • failCount

        protected long failCount
        Counts the number of failures encountered so far.
      • restartCount

        protected long restartCount
        Counts the number of restarts done so far.
      • maxDepth

        protected long maxDepth
        Stores the overall maximum depth
      • depth

        protected long depth
        Stores the current depth
      • fixpointCount

        protected long fixpointCount
        Stores the number of fixpoints
      • backjumpCount

        protected long backjumpCount
        Counts the number of non chronological backtracks done so far.
    • Constructor Detail

      • Measures

        public Measures​(String modelName)
        Create empty measures.
      • Measures

        public Measures​(IMeasures measures)
        Copy constructor with shallow copy of the bounds manager.
        measures - to copy
    • Method Detail

      • getBackTrackCount

        public final long getBackTrackCount()
        Specified by:
        getBackTrackCount in interface IMeasures
        the backtrack count
      • getFailCount

        public final long getFailCount()
        Specified by:
        getFailCount in interface IMeasures
        the fail count
      • getFixpointCount

        public final long getFixpointCount()
        Specified by:
        getFixpointCount in interface IMeasures
        the fixpoint count
      • getBackjumpCount

        public long getBackjumpCount()
        Specified by:
        getBackjumpCount in interface IMeasures
        the non chronological backtracks count
      • getNodeCount

        public final long getNodeCount()
        Specified by:
        getNodeCount in interface IMeasures
        the node count
      • getTimeCountInNanoSeconds

        public long getTimeCountInNanoSeconds()
        Specified by:
        getTimeCountInNanoSeconds in interface IMeasures
        the time count (in nano seconds), including initial propagation time count
      • getReadingTimeCountInNanoSeconds

        public long getReadingTimeCountInNanoSeconds()
        Specified by:
        getReadingTimeCountInNanoSeconds in interface IMeasures
        the reading time count (in nano seconds).
      • getRestartCount

        public final long getRestartCount()
        Specified by:
        getRestartCount in interface IMeasures
        the restart count
      • getMaxDepth

        public final long getMaxDepth()
        Specified by:
        getMaxDepth in interface IMeasures
        the maximum depth of the search tree
      • getCurrentDepth

        public final long getCurrentDepth()
        Specified by:
        getCurrentDepth in interface IMeasures
        the current depth in the search tree
      • isObjectiveOptimal

        public final boolean isObjectiveOptimal()
        Specified by:
        isObjectiveOptimal in interface IMeasures
        true iff the optimum has been found and proved
      • hasObjective

        public final boolean hasObjective()
        Specified by:
        hasObjective in interface IMeasures
        true iff the problem has an objective variable (i.e. optimization problem)
      • getBestSolutionValue

        public final Number getBestSolutionValue()
        Specified by:
        getBestSolutionValue in interface IMeasures
        the objective value of the best solution found (can be Integer or Double)
      • getModelName

        public final String getModelName()
        Specified by:
        getModelName in interface IMeasures
        name of the model/solver observed
      • getTimestamp

        public long getTimestamp()
        Specified by:
        getTimestamp in interface IMeasures
        the current world unique id
      • getSolutionCount

        public final long getSolutionCount()
        Specified by:
        getSolutionCount in interface IMeasures
        the solution count of the measure
      • getDecisionCount

        public long getDecisionCount()
        Specified by:
        getDecisionCount in interface IMeasures
        the decision count