forge.solve
Class SolveOptions

java.lang.Object
  extended by forge.solve.SolveOptions

public final class SolveOptions
extends java.lang.Object

Forge solving options. Uses the builder pattern.

Author:
Greg Dennis (gdennis@mit.edu)

Nested Class Summary
static class SolveOptions.Builder
          Builder for SolveOptions
static class SolveOptions.SatSolver
          Enumeration of possible SAT Solvers.
 
Method Summary
 boolean coverage()
           
 ForgeReporter reporter()
           
 SolveOptions.SatSolver satSolver()
           
 SEStrategy strategy()
           
 java.lang.String toString()
           
 Transformer transformer()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

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