public class SymbolicExecutionGoalChooserBuilder extends java.lang.Object implements GoalChooserBuilder
GoalChooserBuilder
creates a special GoalChooser
for symbolic execution.SymbolicExecutionGoalChooser
Modifier and Type | Field and Description |
---|---|
static java.lang.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
|
GoalChooser |
create()
returns a new goal chooser
|
java.lang.String |
name()
returns the name of the goal chooser
|
public static final java.lang.String NAME
public GoalChooser create()
create
in interface GoalChooserBuilder
public GoalChooserBuilder copy()
copy
in interface GoalChooserBuilder
public java.lang.String name()
name
in interface GoalChooserBuilder