org.eclipse.viatra.dse.dependencygraph

Class DependencyGraphResolver

java.lang.Object

org.eclipse.viatra.dse.dependencygraph.DependencyGraphResolver

All Implemented Interfaces:

IDependencyGraphResolver

public class DependencyGraphResolver
extends java.lang.Object
implements IDependencyGraphResolver

Constructor Summary

Constructors

Constructor and Description
DependencyGraphResolver()

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

DependencyGraphResolver

public DependencyGraphResolver()

Method Detail

createRuleDependencyGraph

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

Description copied from interface: IDependencyGraphResolver

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

Specified by:

createRuleDependencyGraph in interface IDependencyGraphResolver

Parameters:

transformations - The transformation rules.

constraints - The global constraints.

goalPatterns - The goal patterns

Returns:

A dependency graph between the given parameters.