Modifier and Type | Interface and Description |
---|---|
static class |
IOutputFactory.DefaultDecisionMessage
The default decision message format
|
static class |
IOutputFactory.DefaultSolutionMessage
The default solution message format
|
Modifier and Type | Method and Description |
---|---|
PrintStream |
getErr() |
PrintStream |
getOut() |
default void |
printCSVStatistics()
Output the resolution statistics in a comma-separated single line.
|
default void |
printFeatures()
Print (succint) features of the solver given in argument
|
default void |
printShortFeatures()
Print (succint) features of the solver given in argument in a single line.
|
default void |
printShortStatistics()
Output the resolution statistics in a single line.
|
default void |
printStatistics()
Print the resolution statistics.
|
default void |
printVersion()
Print the version message.
|
void |
setErr(PrintStream printStream)
Set the current error stream (default is System.err)
|
void |
setOut(PrintStream printStream)
Set the current output stream (default is System.out)
|
default void |
showContradiction()
Plug a search monitor which outputs the contradictions thrown during the search.
|
default void |
showDashboard()
Create and show a simple dashboard that render resolution statistics every 100 milliseconds.
|
default void |
showDashboard(long refresh)
Create and show a simple dashboard that render resolution statistics every 'refresh' milliseconds.
|
default void |
showDecisions()
Plug a search monitor which outputs a message on each decision.
|
default void |
showDecisions(IMessage message)
Plug a search monitor which outputs
message on each decision. |
default void |
showShortStatistics()
Plug a search monitor which calls
printShortStatistics() before closing the search. |
default void |
showShortStatisticsOnShutdown()
Calls
printShortStatistics() before the program ends (normally or not)?
This adds a shutdown hook. |
default void |
showSolutions()
Plug a search monitor which outputs a message on each solution.
|
default void |
showSolutions(IMessage message)
Plug a search monitor which outputs
message on each solution. |
default void |
showStatistics()
Plug a search monitor which calls
printVersion()
and printStatistics() before closing the search. |
default void |
showStatisticsDuringResolution(long f)
Plug a search monitor which prints a one-line statistics every
f ms. |
void setOut(PrintStream printStream)
printStream
- a print streamPrintStream getOut()
void setErr(PrintStream printStream)
printStream
- a print streamPrintStream getErr()
default void printVersion()
default void printFeatures()
default void printShortFeatures()
default void printStatistics()
Recommended usage: to be called after the resolution step.
default void printShortStatistics()
Recommended usage: to be called after the resolution step.
default void printCSVStatistics()
solutionCount;buildingTime(sec);initTime(sec);initPropag(sec);totalTime(sec);objective;nodes;backtracks;fails;restarts;fineProp;coarseProp;
default void showStatistics()
printVersion()
and printStatistics()
before closing the search.
Recommended usage: to be called before the resolution step.
default void showShortStatistics()
printShortStatistics()
before closing the search.
Recommended usage: to be called before the resolution step.
default void showShortStatisticsOnShutdown()
printShortStatistics()
before the program ends (normally or not)?
This adds a shutdown hook.
Recommended usage: to be called before the resolution step.
default void showSolutions(IMessage message)
message
on each solution.
Recommended usage: to be called before the resolution step.
message
- the message to print.default void showSolutions()
Recommended usage: to be called before the resolution step.
IOutputFactory.DefaultSolutionMessage
default void showDecisions(IMessage message)
message
on each decision.
Recommended usage: to be called before the resolution step.
message
- the message to print.default void showDecisions()
Recommended usage: to be called before the resolution step.
IOutputFactory.DefaultSolutionMessage
default void showContradiction()
default void showStatisticsDuringResolution(long f)
f
ms.f
- frequency, in milliseconddefault void showDashboard()
default void showDashboard(long refresh)
refresh
- frequency rate, in milliseconds.Copyright © 2018. All rights reserved.