|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.solve.SolveOptions.Builder
public static class SolveOptions.Builder
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 |
---|
public SolveOptions.Builder(int unrolls)
public SolveOptions.Builder()
Method Detail |
---|
public SolveOptions build()
public SolveOptions.Builder transformer(Transformer transformer)
public SolveOptions.Builder reporter(ForgeReporter reporter)
public SolveOptions.Builder satSolver(SolveOptions.SatSolver satSolver)
public SolveOptions.Builder strategy(SEStrategy strategy)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |