de.uka.ilkd.key.gui.interactionlog.model.builtin
Interfaces
Factory
Classes
BuiltInRuleInteraction
BuiltInRuleInteractionFactory
ContractBuiltInRuleInteraction
LoopContractInternalBuiltInRuleInteraction
LoopInvariantBuiltInRuleInteraction
MergeRuleBuiltInRuleInteraction
OSSBuiltInRuleInteraction
SMTBuiltInRuleInteraction
UseDependencyContractBuiltInRuleInteraction