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

Interfaces

• InteractionRecorderListener

Classes

• AutoModeInteraction
• Interaction
• Interaction.InteractionGraphicStyle
• InteractionLog
• MacroInteraction
• NodeIdentifier
• NodeInteraction
• OccurenceIdentifier
• PruneInteraction
• RuleInteraction
• SettingChangeInteraction
• UserNoteInteraction