de.uka.ilkd.key.symbolic_execution.model

Interface IExecutionConstraint

All Superinterfaces:

IExecutionElement

All Known Implementing Classes:

ExecutionConstraint, ExecutionNodeReader.KeYlessConstraint

public interface IExecutionConstraint
extends IExecutionElement

A constrained considered during symbolic execution.

The default implementation is ExecutionConstraint which is instantiated lazily by the IExecutionNode and IExecutionValue implementations.

Author:

Martin Hentschel

See Also:

IExecutionNode, IExecutionValue, ExecutionConstraint

Method Summary

Modifier and Type	Method and Description
Term	getTerm() Returns the Term representing the constraint.

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.model.IExecutionElement

getAppliedRuleApp, getElementType, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed

Method Detail

getTerm

Term getTerm()

Returns the Term representing the constraint.

Returns:

The Term representing the constraint.