de.uka.ilkd.key.symbolic_execution.model

Interfaces

• IExecutionAuxiliaryContract
• IExecutionBaseMethodReturn
• IExecutionBlockStartNode
• IExecutionBranchCondition
• IExecutionBranchStatement
• IExecutionConstraint
• IExecutionElement
• IExecutionExceptionalMethodReturn
• IExecutionJoin
• IExecutionLink
• IExecutionLoopCondition
• IExecutionLoopInvariant
• IExecutionLoopStatement
• IExecutionMethodCall
• IExecutionMethodReturn
• IExecutionMethodReturnValue
• IExecutionNode
• IExecutionOperationContract
• IExecutionStart
• IExecutionStatement
• IExecutionTermination
• IExecutionValue
• IExecutionVariable
• ITreeSettings

Enums

• IExecutionTermination.TerminationKind