public class SymbolicExecutionGoalChooserBuilder extends Object implements GoalChooserBuilder
GoalChooserBuilder
creates a special IGoalChooser
for symbolic execution.SymbolicExecutionGoalChooser
Modifier and Type | Field and Description |
---|---|
static String |
NAME
The name of this goal chooser.
|
Constructor and Description |
---|
SymbolicExecutionGoalChooserBuilder() |
Modifier and Type | Method and Description |
---|---|
GoalChooserBuilder |
copy()
returns a clone of this goal chooser
|
IGoalChooser |
create()
returns a new goal chooser
|
String |
name()
returns the name of the goal chooser
|
public static final String NAME
public IGoalChooser create()
create
in interface GoalChooserBuilder
public GoalChooserBuilder copy()
copy
in interface GoalChooserBuilder
public String name()
name
in interface GoalChooserBuilder