de.uka.ilkd.key.prover.impl

Class DepthFirstGoalChooserBuilder

java.lang.Object

de.uka.ilkd.key.prover.impl.DepthFirstGoalChooserBuilder

All Implemented Interfaces:

GoalChooserBuilder

public class DepthFirstGoalChooserBuilder
extends java.lang.Object
implements GoalChooserBuilder

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.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
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

See Also:

Constant Field Values

Constructor Detail

DepthFirstGoalChooserBuilder

public DepthFirstGoalChooserBuilder()

Method Detail

create

public GoalChooser 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 java.lang.String name()

Description copied from interface: GoalChooserBuilder

returns the name of the goal chooser

Specified by:

name in interface GoalChooserBuilder