public interface MealyStateMachine extends io.ciera.runtime.summit.classes.IModelInstance<MealyStateMachine,Sql>
| Modifier and Type | Method and Description |
|---|---|
default void |
addR512_MealyActionHome(MealyActionHome inst) |
io.ciera.runtime.summit.types.UniqueId |
getSM_ID() |
SM_SM |
R510_is_a_SM_SM() |
MealyActionHomeSet |
R512_MealyActionHome() |
default void |
removeR512_MealyActionHome(MealyActionHome inst) |
default void |
setR510_is_a_SM_SM(SM_SM inst) |
void |
setSM_ID(io.ciera.runtime.summit.types.UniqueId ref_SM_ID) |
checkLiving, compareTo, delete, getId1, getId2, getId3, getInstanceId, getKeyLetters, isEmptycontext, getRunContext, warnvoid setSM_ID(io.ciera.runtime.summit.types.UniqueId ref_SM_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionio.ciera.runtime.summit.types.UniqueId getSM_ID()
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR510_is_a_SM_SM(SM_SM inst)
SM_SM R510_is_a_SM_SM() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void addR512_MealyActionHome(MealyActionHome inst)
default void removeR512_MealyActionHome(MealyActionHome inst)
MealyActionHomeSet R512_MealyActionHome() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionCopyright © 2021. All rights reserved.