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.
IExecutionNode
,
IExecutionValue
,
ExecutionConstraint
Modifier and Type | Method and Description |
---|---|
Term |
getTerm()
Returns the
Term representing the constraint. |
getAppliedRuleApp, getElementType, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed