de.uka.ilkd.key.symbolic_execution.model

Interface IExecutionLink

All Known Implementing Classes:

ExecutionLink, ExecutionNodeReader.KeYLessLink

public interface IExecutionLink

A link between two IExecutionNodes.

Author:

Martin Hentschel

Method Summary

Modifier and Type	Method and Description
IExecutionNode<?>	getSource() Returns the source.
IExecutionNode<?>	getTarget() Returns the target.

Method Detail

getSource

IExecutionNode<?> getSource()

Returns the source.

Returns:

The source.

getTarget

IExecutionNode<?> getTarget()

Returns the target.

Returns:

The target.