de.uka.ilkd.key.gui.interactionlog.model.builtin

Interfaces

• Factory

Classes

• BuiltInRuleInteraction
• BuiltInRuleInteractionFactory
• ContractBuiltInRuleInteraction
• LoopContractInternalBuiltInRuleInteraction
• LoopInvariantBuiltInRuleInteraction
• MergeRuleBuiltInRuleInteraction
• OSSBuiltInRuleInteraction
• SMTBuiltInRuleInteraction
• UseDependencyContractBuiltInRuleInteraction