| Package | Description |
|---|---|
| com.uwemeding.fuzzer |
| Modifier and Type | Method and Description |
|---|---|
static ReasoningStrategy |
ReasoningStrategy.getDefault()
Get the default reasoning strategy.
|
ReasoningStrategy |
Program.getReasoningStrategy()
Get the selected reasoning strategy.
|
static ReasoningStrategy |
ReasoningStrategy.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ReasoningStrategy[] |
ReasoningStrategy.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Program.setReasoningStrategy(ReasoningStrategy reasoningStrategy)
Set the reasoning strategy.
|
Copyright © 2013–2014. All rights reserved.