public interface ProbabilisticBranchTransition extends AbstractBranchTransition
The following features are supported:
SeffPackage.getProbabilisticBranchTransition()| Modifier and Type | Method and Description |
|---|---|
double |
getBranchProbability()
Returns the value of the 'Branch Probability' attribute.
|
void |
setBranchProbability(double value)
Sets the value of the
'
Branch Probability' attribute. |
getBranchAction_AbstractBranchTransition, getBranchBehaviour_BranchTransition, setBranchAction_AbstractBranchTransition, setBranchBehaviour_BranchTransitiongetEntityName, setEntityNamecdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, cdoWriteLock, cdoWriteOptioneAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnseteAdapters, eDeliver, eNotify, eSetDeliverstatic final String copyright
double getBranchProbability()
If the meaning of the 'Branch Probability' attribute isn't clear, there really should be more of a description here...
setBranchProbability(double),
SeffPackage.getProbabilisticBranchTransition_BranchProbability()void setBranchProbability(double value)
Branch Probability' attribute. value - the new value of the 'Branch Probability' attribute.getBranchProbability()