org.eclipse.viatra.dse.guidance

Class ApplicationVectorUpdater

java.lang.Object

org.eclipse.viatra.dse.guidance.ApplicationVectorUpdater

All Implemented Interfaces:

IRuleApplicationNumberChanged

public class ApplicationVectorUpdater
extends java.lang.Object
implements IRuleApplicationNumberChanged

Constructor Summary

Constructors

Constructor and Description
ApplicationVectorUpdater(Guidance guidance)

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ApplicationVectorUpdater

public ApplicationVectorUpdater(Guidance guidance)

Method Detail

increment

public void increment(DSETransformationRule<?,?> rule,
             org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)

Specified by:

increment in interface IRuleApplicationNumberChanged

decrement

public void decrement(DSETransformationRule<?,?> rule,
             org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)

Specified by:

decrement in interface IRuleApplicationNumberChanged