parser.instances.checker
Class SatSChecker

java.lang.Object
  extended by parser.instances.checker.SatSChecker
All Implemented Interfaces:
IPretty, IStatusChecker

public class SatSChecker
extends Object
implements IStatusChecker


Field Summary
 boolean isSatifiable
           
 
Constructor Summary
protected SatSChecker(boolean isSatifiable)
           
 
Method Summary
 void checkStatus(Boolean doMaximize, ResolutionStatus status, Number Objective)
           
 void fail(ResolutionStatus status)
           
 String pretty()
          pretty printing of the object.
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

isSatifiable

public final boolean isSatifiable
Constructor Detail

SatSChecker

protected SatSChecker(boolean isSatifiable)
Method Detail

fail

public void fail(ResolutionStatus status)
          throws SolutionCheckerException
Throws:
SolutionCheckerException

checkStatus

public void checkStatus(Boolean doMaximize,
                        ResolutionStatus status,
                        Number Objective)
                 throws SolutionCheckerException
Specified by:
checkStatus in interface IStatusChecker
Throws:
SolutionCheckerException

pretty

public String pretty()
Description copied from interface: IPretty
pretty printing of the object. This String is not constant and may depend on the context.

Specified by:
pretty in interface IPretty
Returns:
a readable string representation of the object

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.