|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ResolutionStatus | |
---|---|
parser.instances | |
parser.instances.checker |
Uses of ResolutionStatus in parser.instances |
---|
Methods in parser.instances that return ResolutionStatus | |
---|---|
ResolutionStatus |
AbstractInstanceModel.getStatus()
|
ResolutionStatus |
AbstractInstanceModel.postAnalyzeCP()
compute the resolution status after the cp search (solver is not null). |
ResolutionStatus |
AbstractMinimizeModel.postAnalyzePP()
|
ResolutionStatus |
AbstractInstanceModel.postAnalyzePP()
compute the resolution status after the preprocessing stage (no solver build yet). |
static ResolutionStatus |
ResolutionStatus.valueOf(String name)
Returns the enum constant of this type with the specified name. |
static ResolutionStatus[] |
ResolutionStatus.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Uses of ResolutionStatus in parser.instances.checker |
---|
Methods in parser.instances.checker with parameters of type ResolutionStatus | |
---|---|
void |
SatSChecker.checkStatus(Boolean doMaximize,
ResolutionStatus status,
Number Objective)
|
void |
OptimSChecker.checkStatus(Boolean doMaximize,
ResolutionStatus status,
Number objective)
|
void |
IStatusChecker.checkStatus(Boolean doMaximize,
ResolutionStatus status,
Number objective)
|
void |
SatSChecker.fail(ResolutionStatus status)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |