forge.solve
Class SolveOptions
java.lang.Object
forge.solve.SolveOptions
public final class SolveOptions
- extends java.lang.Object
Forge solving options. Uses the builder pattern.
- Author:
- Greg Dennis (gdennis@mit.edu)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
transformer
public Transformer transformer()
reporter
public ForgeReporter reporter()
satSolver
public SolveOptions.SatSolver satSolver()
strategy
public SEStrategy strategy()
coverage
public boolean coverage()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object