public interface IActivationCoder
Modifier and Type | Method and Description |
---|---|
ActivationTrace |
createActivationCode(org.eclipse.viatra.transformation.evm.api.Activation<?> activation) |
ActivationTrace createActivationCode(org.eclipse.viatra.transformation.evm.api.Activation<?> activation)