de.uka.ilkd.key.proof

Class DepthFirstGoalChooserBuilder

java.lang.Object

de.uka.ilkd.key.proof.DepthFirstGoalChooserBuilder

All Implemented Interfaces:

GoalChooserBuilder

public class DepthFirstGoalChooserBuilder
extends Object
implements GoalChooserBuilder

Field Summary

Fields

Modifier and Type	Field and Description
static String	NAME

Constructor Summary

Constructors

Constructor and Description
DepthFirstGoalChooserBuilder()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

NAME

public static final String NAME

See Also:

Constant Field Values

Constructor Detail

DepthFirstGoalChooserBuilder

public DepthFirstGoalChooserBuilder()

Method Detail

create

public IGoalChooser create()

Description copied from interface: GoalChooserBuilder

returns a new goal chooser

Specified by:

create in interface GoalChooserBuilder

copy

public GoalChooserBuilder copy()

Description copied from interface: GoalChooserBuilder

returns a clone of this goal chooser

Specified by:

copy in interface GoalChooserBuilder

name

public String name()

Description copied from interface: GoalChooserBuilder

returns the name of the goal chooser

Specified by:

name in interface GoalChooserBuilder