Package | Description |
---|---|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
Modifier and Type | Class and Description |
---|---|
class |
FindTacletAppContainer
Instances of this class are immutable
|
class |
NoFindTacletAppContainer
Instances of this class are immutable
|
Modifier and Type | Method and Description |
---|---|
protected static TacletAppContainer |
TacletAppContainer.createContainer(NoPosTacletApp p_app,
PosInOccurrence p_pio,
Goal p_goal,
boolean p_initial) |
Copyright © 2003-2019 The KeY-Project.