org.eclipse.viatra.dse.guidance

Interface IDependencyGraphResolver

All Known Implementing Classes:

DependencyGraphResolver

public interface IDependencyGraphResolver

Defines a method to calculate a IDependencyGraph from DSETransformationRules.

Method Summary

Methods

Modifier and Type	Method and Description
IDependencyGraph	createRuleDependencyGraph(java.util.Set<DSETransformationRule<?,?>> transformations, java.util.Set<PatternWithCardinality> constraints, java.util.Set<PatternWithCardinality> goalPatterns) Creates a IDependencyGraph from the give DSETransformationRules, constraints and goal patterns.

Method Detail

createRuleDependencyGraph

IDependencyGraph createRuleDependencyGraph(java.util.Set<DSETransformationRule<?,?>> transformations,
                                         java.util.Set<PatternWithCardinality> constraints,
                                         java.util.Set<PatternWithCardinality> goalPatterns)

Creates a IDependencyGraph from the give DSETransformationRules, constraints and goal patterns.

Parameters:

transformations - The transformation rules.

constraints - The global constraints.

goalPatterns - The goal patterns

Returns:

A dependency graph between the given parameters.