org.eclipse.viatra.dse.statecoding

Class StatecodingDependencyGraph

java.lang.Object

org.eclipse.viatra.dse.statecoding.StatecodingDependencyGraph

public class StatecodingDependencyGraph
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
StatecodingDependencyGraph()

Method Summary

Modifier and Type	Method and Description
void	addNode(StatecodingNode node)
StatecodingNode	createNode(org.eclipse.emf.ecore.EClass clazz)
StatecodingNode	getNodeByClass(org.eclipse.emf.ecore.EClass eClass)
java.util.List<StatecodingNode>	getNodes()

Methods inherited from class java.lang.Object

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

Constructor Detail

StatecodingDependencyGraph

public StatecodingDependencyGraph()

Method Detail

createNode

public StatecodingNode createNode(org.eclipse.emf.ecore.EClass clazz)

addNode

public void addNode(StatecodingNode node)

getNodeByClass

public StatecodingNode getNodeByClass(org.eclipse.emf.ecore.EClass eClass)

getNodes

public java.util.List<StatecodingNode> getNodes()