Interface IMeasures

    • Field Detail

      • IN_SEC

        static final float IN_SEC
        To transform time from nanoseconds to seconds
        See Also:
        Constant Field Values
    • Method Detail

      • getModelName

        String getModelName()
        Returns:
        name of the model/solver observed
      • getTimestamp

        long getTimestamp()
        Returns:
        the current world unique id
      • getTimeCount

        default float getTimeCount()
        Returns:
        the time count (in seconds), including initial propagation time count
      • getTimeCountInNanoSeconds

        long getTimeCountInNanoSeconds()
        Returns:
        the time count (in nano seconds), including initial propagation time count
      • getReadingTimeCount

        default float getReadingTimeCount()
        Returns:
        the reading time count (in sec)
      • getReadingTimeCountInNanoSeconds

        long getReadingTimeCountInNanoSeconds()
        Returns:
        the reading time count (in nano seconds).
      • getNodeCount

        long getNodeCount()
        Returns:
        the node count
      • getBackTrackCount

        long getBackTrackCount()
        Returns:
        the backtrack count
      • getFailCount

        long getFailCount()
        Returns:
        the fail count
      • getFixpointCount

        long getFixpointCount()
        Returns:
        the fixpoint count
      • getBackjumpCount

        long getBackjumpCount()
        Returns:
        the non chronological backtracks count
      • getRestartCount

        long getRestartCount()
        Returns:
        the restart count
      • getSolutionCount

        long getSolutionCount()
        Returns:
        the solution count of the measure
      • getDecisionCount

        long getDecisionCount()
        Returns:
        the decision count
      • getMaxDepth

        long getMaxDepth()
        Returns:
        the maximum depth of the search tree
      • getCurrentDepth

        long getCurrentDepth()
        Returns:
        the current depth in the search tree
      • hasObjective

        boolean hasObjective()
        Returns:
        true iff the problem has an objective variable (i.e. optimization problem)
      • isObjectiveOptimal

        boolean isObjectiveOptimal()
        Returns:
        true iff the optimum has been found and proved
      • getBestSolutionValue

        Number getBestSolutionValue()
        Returns:
        the objective value of the best solution found (can be Integer or Double)
      • getSearchState

        SearchState getSearchState()
        Returns:
        the search state
      • getBoundsManager

        IBoundsManager getBoundsManager()
        Returns:
        current bound manager
      • toOneLineString

        default String toOneLineString()
        Returns:
        a summary of recorded statistics
      • toDimacsString

        default String toDimacsString()
      • toMultiLineString

        default String toMultiLineString()
      • toArray

        default Number[] toArray()
        Returns:
        statistic values only
      • toCSV

        default String toCSV()
        Returns:
        statistics in a CSV format