org.eclipse.viatra.dse.guidance

Class Guidance

java.lang.Object

org.eclipse.viatra.dse.guidance.Guidance

All Implemented Interfaces:

java.lang.Cloneable

public class Guidance
extends java.lang.Object
implements java.lang.Cloneable

Constructor Summary

Constructors

Constructor and Description
Guidance()

Method Summary

Methods

Modifier and Type	Method and Description
RuleInfo	addCostRuleInfo(DSETransformationRule<?,?> rule, double cost)
RuleInfo	addPriorityAndCostRuleInfo(DSETransformationRule<?,?> rule, double priority, double cost)
RuleInfo	addPriorityRuleInfo(DSETransformationRule<?,?> rule, double priority)
Guidance	clone()
java.util.Map<DSETransformationRule<?,?>,RuleInfo>	cloneRuleInfos()
ICriteria.EvaluationResult	evaluateCutOffCriterias()
java.util.List<DSETransformationRule<?,?>>	evaluateSelectionCriterias()
java.util.Set<PatternWithCardinality>	getConstraints()
java.util.List<ICriteria>	getCutOffCriterias()
IDependencyGraph	getDependencyGraph()
IDependencyGraphResolver	getDependencyGraphResolver()
java.util.Set<PatternWithCardinality>	getGoalPatterns()
static java.util.Map<org.eclipse.emf.ecore.EModelElement,java.lang.Integer>	getInitialMarking(org.eclipse.emf.common.notify.Notifier model, java.util.List<? extends org.eclipse.emf.ecore.EModelElement> classesAndReferences)
IOccurrenceVectorResolver	getOccuranceVectorResolver()
PetriAbstractionResult	getPetriNetAbstractionResult()
java.util.Map<DSETransformationRule<?,?>,RuleInfo>	getRuleInfos()
java.util.Set<DSETransformationRule<?,?>>	getRules()
java.util.List<ICriteria>	getSelectionCriterias()
void	resetActivations(org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)
void	resolveDependencyGraph()
void	resolveOccurrenceVector(java.util.List<? extends org.eclipse.emf.ecore.EModelElement> classesAndReferences, java.util.Map<? extends org.eclipse.emf.ecore.EModelElement,java.lang.Integer> initialMarking, java.util.List<Predicate> predicates)
void	ruleFired(DSETransformationRule<?,?> rule, org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)
void	ruleUndone(DSETransformationRule<?,?> rule, org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)
void	setConstraints(java.util.Set<PatternWithCardinality> constraints)
void	setCutOffCriterias(java.util.List<ICriteria> cutOffCriterias)
void	setDependencyGraph(IDependencyGraph dependencyGraph)
void	setDependencyGraphResolver(IDependencyGraphResolver dependencyGraphResolver) Defines a method to calculate a IDependencyGraph from DSETransformationRules, global constraints and goal patterns.
void	setGoalPatterns(java.util.Set<PatternWithCardinality> goalPatterns)
void	setOccurrenceVectorResolver(IOccurrenceVectorResolver occurrenceVectorResolver) Defines a method to calculate an occurrence vector.
void	setRuleInfos(java.util.Map<DSETransformationRule<?,?>,RuleInfo> ruleInfos)
void	setRules(java.util.Set<DSETransformationRule<?,?>> rules)
void	setSelectionCriterias(java.util.List<ICriteria> selectionCriterias)

Methods inherited from class java.lang.Object

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

Constructor Detail

Guidance

public Guidance()

Method Detail

clone

public Guidance clone()

Overrides:

clone in class java.lang.Object

cloneRuleInfos

public java.util.Map<DSETransformationRule<?,?>,RuleInfo> cloneRuleInfos()

resolveDependencyGraph

public void resolveDependencyGraph()

resolveOccurrenceVector

public void resolveOccurrenceVector(java.util.List<? extends org.eclipse.emf.ecore.EModelElement> classesAndReferences,
                           java.util.Map<? extends org.eclipse.emf.ecore.EModelElement,java.lang.Integer> initialMarking,
                           java.util.List<Predicate> predicates)

ruleFired

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

ruleUndone

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

resetActivations

public void resetActivations(org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)

evaluateCutOffCriterias

public ICriteria.EvaluationResult evaluateCutOffCriterias()

evaluateSelectionCriterias

public java.util.List<DSETransformationRule<?,?>> evaluateSelectionCriterias()

getDependencyGraphResolver

public IDependencyGraphResolver getDependencyGraphResolver()

setDependencyGraphResolver

public void setDependencyGraphResolver(IDependencyGraphResolver dependencyGraphResolver)

Defines a method to calculate a IDependencyGraph from DSETransformationRules, global constraints and goal patterns. A derived class can be registered through an extension, and can be reached with the StrategyBuildingBlocksManager singleton. The graph will be reachable from the ThreadContext.

Parameters:

dependencyGraphResolver -

getOccuranceVectorResolver

public IOccurrenceVectorResolver getOccuranceVectorResolver()

setOccurrenceVectorResolver

public void setOccurrenceVectorResolver(IOccurrenceVectorResolver occurrenceVectorResolver)

Defines a method to calculate an occurrence vector.

Parameters:

occurrenceVectorResolver -

getDependencyGraph

public IDependencyGraph getDependencyGraph()

setDependencyGraph

public void setDependencyGraph(IDependencyGraph dependencyGraph)

getRuleInfos

public java.util.Map<DSETransformationRule<?,?>,RuleInfo> getRuleInfos()

setRuleInfos

public void setRuleInfos(java.util.Map<DSETransformationRule<?,?>,RuleInfo> ruleInfos)

addPriorityAndCostRuleInfo

public RuleInfo addPriorityAndCostRuleInfo(DSETransformationRule<?,?> rule,
                                  double priority,
                                  double cost)

addPriorityRuleInfo

public RuleInfo addPriorityRuleInfo(DSETransformationRule<?,?> rule,
                           double priority)

addCostRuleInfo

public RuleInfo addCostRuleInfo(DSETransformationRule<?,?> rule,
                       double cost)

getCutOffCriterias

public java.util.List<ICriteria> getCutOffCriterias()

setCutOffCriterias

public void setCutOffCriterias(java.util.List<ICriteria> cutOffCriterias)

getSelectionCriterias

public java.util.List<ICriteria> getSelectionCriterias()

setSelectionCriterias

public void setSelectionCriterias(java.util.List<ICriteria> selectionCriterias)

getGoalPatterns

public java.util.Set<PatternWithCardinality> getGoalPatterns()

setGoalPatterns

public void setGoalPatterns(java.util.Set<PatternWithCardinality> goalPatterns)

getConstraints

public java.util.Set<PatternWithCardinality> getConstraints()

setConstraints

public void setConstraints(java.util.Set<PatternWithCardinality> constraints)

getRules

public java.util.Set<DSETransformationRule<?,?>> getRules()

setRules

public void setRules(java.util.Set<DSETransformationRule<?,?>> rules)

getPetriNetAbstractionResult

public PetriAbstractionResult getPetriNetAbstractionResult()

getInitialMarking

public static java.util.Map<org.eclipse.emf.ecore.EModelElement,java.lang.Integer> getInitialMarking(org.eclipse.emf.common.notify.Notifier model,
                                                                                     java.util.List<? extends org.eclipse.emf.ecore.EModelElement> classesAndReferences)