Package de.uka.ilkd.key.symbolic_execution.model.impl

Class Summary

Class	Description
AbstractExecutionBlockStartNode<S extends SourceElement>	Provides a basic implementation of IExecutionBlockStartNode.
AbstractExecutionElement	Provides a basic implementation of IExecutionElement.
AbstractExecutionMethodReturn<S extends SourceElement>	The default implementation of IExecutionBaseMethodReturn.
AbstractExecutionNode<S extends SourceElement>	Provides a basic implementation of IExecutionNode.
AbstractExecutionValue	Provides a basic implementation of IExecutionValue.
AbstractExecutionVariable	Provides a basic implementation of IExecutionVariables.
ExecutionAllArrayIndicesVariable	An implementation of IExecutionVariable used to query all array indices at the same time.
ExecutionAuxiliaryContract	The default implementation of IExecutionAuxiliaryContract.
ExecutionBranchCondition	The default implementation of IExecutionBranchCondition.
ExecutionBranchStatement	The default implementation of IExecutionBranchStatement.
ExecutionConstraint	The default implementation of IExecutionConstraint.
ExecutionExceptionalMethodReturn	The default implementation of IExecutionExceptionalMethodReturn.
ExecutionJoin	The default implementation of IExecutionJoin.
ExecutionLink	The default implementation of IExecutionLink.
ExecutionLoopCondition	The default implementation of IExecutionLoopCondition.
ExecutionLoopInvariant	The default implementation of IExecutionLoopInvariant.
ExecutionLoopStatement	The default implementation of IExecutionLoopStatement.
ExecutionMethodCall	The default implementation of IExecutionMethodCall.
ExecutionMethodReturn	The default implementation of IExecutionMethodReturn.
ExecutionMethodReturnValue	The default implementation of IExecutionMethodReturnValue.
ExecutionOperationContract	The default implementation of IExecutionOperationContract.
ExecutionStart	The default implementation of IExecutionStart.
ExecutionStatement	The default implementation of IExecutionStatement.
ExecutionTermination	The default implementation of IExecutionTermination.
ExecutionValue	The default implementation of IExecutionValue.
ExecutionVariable	The default implementation of IExecutionVariable.
TreeSettings	The default implementation of ITreeSettings.