Package | Description |
---|---|
de.uka.ilkd.key.rule |
This package contains classes for implementing rules.
|
org.key_project.ui.interactionlog.model.builtin |
Modifier and Type | Method and Description |
---|---|
LoopContractInternalBuiltInRuleApp |
LoopContractInternalRule.createApp(PosInOccurrence occurrence,
TermServices services) |
LoopContractInternalBuiltInRuleApp |
LoopContractInternalBuiltInRuleApp.replacePos(PosInOccurrence newOccurrence) |
LoopContractInternalBuiltInRuleApp |
LoopContractInternalBuiltInRuleApp.setIfInsts(ImmutableList<PosInOccurrence> ifInstantiations) |
LoopContractInternalBuiltInRuleApp |
LoopContractInternalBuiltInRuleApp.tryToInstantiate(Goal goal) |
Constructor and Description |
---|
LoopContractInternalBuiltInRuleInteraction(LoopContractInternalBuiltInRuleApp app,
Node node) |
Copyright © 2003-2019 The KeY-Project.