parser.instances.checker
Class SatSChecker
java.lang.Object
parser.instances.checker.SatSChecker
- All Implemented Interfaces:
- IPretty, IStatusChecker
public class SatSChecker
- extends Object
- implements IStatusChecker
Constructor Summary |
protected |
SatSChecker(boolean isSatifiable)
|
isSatifiable
public final boolean isSatifiable
SatSChecker
protected SatSChecker(boolean isSatifiable)
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.