forge.solve
Class SolveOptions.Builder

java.lang.Object
  extended by forge.solve.SolveOptions.Builder
Enclosing class:
SolveOptions

public static class SolveOptions.Builder
extends java.lang.Object

Builder for SolveOptions


Constructor Summary
SolveOptions.Builder()
           
SolveOptions.Builder(int unrolls)
           
 
Method Summary
 SolveOptions build()
          Builds the SolveOptions.
 SolveOptions.Builder reporter(ForgeReporter reporter)
          Chooses the reporter.
 SolveOptions.Builder satSolver(SolveOptions.SatSolver satSolver)
          Chooses the SAT solver.
 SolveOptions.Builder strategy(SEStrategy strategy)
          Choose the symbolic execution strategy.
 SolveOptions.Builder transformer(Transformer transformer)
          Choose the transformer.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SolveOptions.Builder

public SolveOptions.Builder(int unrolls)

SolveOptions.Builder

public SolveOptions.Builder()
Method Detail

build

public SolveOptions build()
Builds the SolveOptions.


transformer

public SolveOptions.Builder transformer(Transformer transformer)
Choose the transformer.


reporter

public SolveOptions.Builder reporter(ForgeReporter reporter)
Chooses the reporter.


satSolver

public SolveOptions.Builder satSolver(SolveOptions.SatSolver satSolver)
Chooses the SAT solver.


strategy

public SolveOptions.Builder strategy(SEStrategy strategy)
Choose the symbolic execution strategy.