de.uka.ilkd.key.prover

Interface GoalChooserBuilder

All Known Implementing Classes:

DefaultGoalChooserBuilder, DepthFirstGoalChooserBuilder, SymbolicExecutionGoalChooserBuilder

public interface GoalChooserBuilder

interface to be implemented by builders returning a goal chooser

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

Method Detail

create

GoalChooser create()

returns a new goal chooser

copy

GoalChooserBuilder copy()

returns a clone of this goal chooser

name

java.lang.String name()

returns the name of the goal chooser