de.uka.ilkd.key.symbolic_execution.strategy

Class SymbolicExecutionGoalChooserBuilder

java.lang.Object

de.uka.ilkd.key.symbolic_execution.strategy.SymbolicExecutionGoalChooserBuilder

All Implemented Interfaces:

GoalChooserBuilder

public class SymbolicExecutionGoalChooserBuilder
extends java.lang.Object
implements GoalChooserBuilder

This GoalChooserBuilder creates a special GoalChooser for symbolic execution.

Author:

Martin Hentschel

See Also:

SymbolicExecutionGoalChooser

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	NAME The name of this goal chooser.

Constructor Summary

Constructors

Constructor and Description
SymbolicExecutionGoalChooserBuilder()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NAME

public static final java.lang.String NAME

The name of this goal chooser.

See Also:

Constant Field Values

Constructor Detail

SymbolicExecutionGoalChooserBuilder

public SymbolicExecutionGoalChooserBuilder()

Method Detail

create

public GoalChooser create()

returns a new goal chooser

Specified by:

create in interface GoalChooserBuilder

copy

public GoalChooserBuilder copy()

returns a clone of this goal chooser

Specified by:

copy in interface GoalChooserBuilder

name

public java.lang.String name()

returns the name of the goal chooser

Specified by:

name in interface GoalChooserBuilder