Package | Description |
---|---|
de.uka.ilkd.key.informationflow.macros | |
de.uka.ilkd.key.macros | |
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
Modifier and Type | Method and Description |
---|---|
void |
UseInformationFlowContractMacro.PropExpansionStrategy.instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector) |
Modifier and Type | Method and Description |
---|---|
void |
FilterStrategy.instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector) |
Modifier and Type | Method and Description |
---|---|
void |
SimpleFilteredStrategy.instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector) |
void |
Strategy.instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector)
Instantiate an incomplete
RuleApp . |
void |
FIFOStrategy.instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector) |
void |
AbstractFeatureStrategy.instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector) |
Copyright © 2003-2019 The KeY-Project.