public interface IRuleApplicationNumberChanged
Modifier and Type | Method and Description |
---|---|
void |
decrement(DSETransformationRule<?,?> rule,
org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine) |
void |
increment(DSETransformationRule<?,?> rule,
org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine) |
void increment(DSETransformationRule<?,?> rule, org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)
void decrement(DSETransformationRule<?,?> rule, org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)