-
- All Superinterfaces:
Serializable
- All Known Implementing Classes:
Measures
,MeasuresRecorder
,Solver
public interface IMeasures extends Serializable
Interface for providing resolution statistics- Author:
- Charles Prud'Homme, Jean-Guillaume Fages, Arnaud Malapert
-
-
Field Summary
Fields Modifier and Type Field Description static float
IN_SEC
To transform time from nanoseconds to seconds
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description long
getBackjumpCount()
long
getBackTrackCount()
Number
getBestSolutionValue()
IBoundsManager
getBoundsManager()
long
getCurrentDepth()
long
getDecisionCount()
long
getFailCount()
long
getFixpointCount()
long
getMaxDepth()
String
getModelName()
long
getNodeCount()
default float
getReadingTimeCount()
long
getReadingTimeCountInNanoSeconds()
long
getRestartCount()
SearchState
getSearchState()
long
getSolutionCount()
default float
getTimeCount()
long
getTimeCountInNanoSeconds()
long
getTimestamp()
default float
getTimeToBestSolution()
long
getTimeToBestSolutionInNanoSeconds()
boolean
hasObjective()
boolean
isObjectiveOptimal()
default Number[]
toArray()
default String
toCSV()
default String
toDimacsString()
default String
toMultiLineString()
default String
toOneLineString()
-
-
-
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
-
getTimeToBestSolution
default float getTimeToBestSolution()
- Returns:
- the time count (in seconds), including initial propagation time count
-
getTimeToBestSolutionInNanoSeconds
long getTimeToBestSolutionInNanoSeconds()
- 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
-
-