org.eclipse.viatra.dse.base

Class DseEvmRuleBase

java.lang.Object

org.eclipse.viatra.transformation.evm.api.RuleBase

org.eclipse.viatra.dse.base.DseEvmRuleBase

public class DseEvmRuleBase
extends RuleBase

Field Summary

Fields inherited from class org.eclipse.viatra.transformation.evm.api.RuleBase

agenda, eventRealm, logger, ruleInstanceTable

Constructor Summary

Constructors

Constructor and Description
DseEvmRuleBase(EventRealm eventRealm, Agenda agenda)

Method Summary

Methods inherited from class org.eclipse.viatra.transformation.evm.api.RuleBase

createScopedConflictSet, dispose, findInstance, getAgenda, getEventRealm, getInstance, getLogger, getRuleInstances, getRuleSpecificationMultimap, instantiateRule, removeRule, removeRule

Methods inherited from class java.lang.Object

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

Constructor Detail

DseEvmRuleBase

public DseEvmRuleBase(EventRealm eventRealm,
                      Agenda agenda)