Uses of Class
parser.instances.ResolutionStatus

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)
           
 



Copyright © 2012. All Rights Reserved.