public final class SMF extends SearchMonitorFactory
SearchMonitorFactory
Constructor and Description |
---|
SMF() |
convertInMilliseconds, geometrical, limitBacktrack, limitFail, limitNode, limitSolution, limitThreadTime, limitThreadTime, limitTime, limitTime, luby, nogoodRecordingFromRestarts, nogoodRecordingOnSolution, restartAfterEachSolution
Copyright © 2015. All rights reserved.