public static class ExecutionNodeReader.KeYlessConstraint extends ExecutionNodeReader.AbstractKeYlessExecutionElement implements IExecutionConstraint
IExecutionConstraint
which is independent
from KeY and provides such only children and default attributes.Constructor and Description |
---|
KeYlessConstraint(java.lang.String name)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getElementType()
Returns a human readable element type name.
|
PosInOccurrence |
getModalityPIO()
Returns the
PosInOccurrence of the modality of interest including updates. |
Term |
getTerm()
Returns the
Term representing the constraint. |
getAppliedRuleApp, getInitConfig, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getAppliedRuleApp, getInitConfig, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed
public KeYlessConstraint(java.lang.String name)
name
- The name.public java.lang.String getElementType()
getElementType
in interface IExecutionElement
public Term getTerm()
Term
representing the constraint.getTerm
in interface IExecutionConstraint
Term
representing the constraint.public PosInOccurrence getModalityPIO()
PosInOccurrence
of the modality of interest including updates.getModalityPIO
in interface IExecutionElement
PosInOccurrence
of the modality of interest including updates.