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 |
BuiltInRuleAppContainer
Instances of this class are immutable
|
class |
FindTacletAppContainer
Instances of this class are immutable
|
class |
NoFindTacletAppContainer
Instances of this class are immutable
|
class |
TacletAppContainer
Instances of this class are immutable
|
Modifier and Type | Method and Description |
---|---|
static RuleAppContainer |
RuleAppContainer.createAppContainer(RuleApp p_app,
PosInOccurrence p_pio,
Goal p_goal)
Create container for a RuleApp.
|
Modifier and Type | Method and Description |
---|---|
static ImmutableList<RuleAppContainer> |
RuleAppContainer.createAppContainers(ImmutableList<? extends RuleApp> rules,
PosInOccurrence pos,
Goal goal)
Create containers for RuleApps.
|
ImmutableList<RuleAppContainer> |
TacletAppContainer.createFurtherApps(Goal p_goal)
Create a list of new RuleAppContainers that are to be
considered for application.
|
abstract ImmutableList<RuleAppContainer> |
RuleAppContainer.createFurtherApps(Goal p_goal)
Create a list of new RuleAppContainers that are to be
considered for application.
|
ImmutableList<RuleAppContainer> |
BuiltInRuleAppContainer.createFurtherApps(Goal goal) |
protected static ImmutableList<RuleAppContainer> |
TacletAppContainer.createInitialAppContainers(ImmutableList<NoPosTacletApp> p_app,
PosInOccurrence p_pio,
Goal p_goal) |
Modifier and Type | Method and Description |
---|---|
int |
RuleAppContainer.compareTo(RuleAppContainer o) |
Copyright © 2003-2019 The KeY-Project.