de.uka.ilkd.key.prover.impl

Class DefaultGoalChooserBuilder

java.lang.Object

de.uka.ilkd.key.prover.impl.DefaultGoalChooserBuilder

All Implemented Interfaces:

GoalChooserBuilder

public class DefaultGoalChooserBuilder
extends java.lang.Object
implements GoalChooserBuilder

creates the default goal chooser used in KeY

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	NAME

Constructor Summary

Constructors

Constructor and Description
DefaultGoalChooserBuilder()

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

DefaultGoalChooserBuilder

public DefaultGoalChooserBuilder()

Method Detail

create

public GoalChooser create()

Description copied from interface: GoalChooserBuilder

returns a new goal chooser

Specified by:

create 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

copy

public GoalChooserBuilder copy()

Description copied from interface: GoalChooserBuilder

returns a clone of this goal chooser

Specified by:

copy in interface GoalChooserBuilder