Package tools.refinery.language.semantics

Class NodeNameProvider

java.lang.Object

tools.refinery.language.semantics.NodeNameProvider

public class NodeNameProvider
extends Object

Constructor Summary

Constructors

Constructor	Description
NodeNameProvider()

Method Summary

Modifier and Type	Method	Description
String	getNextName(String typeName)
void	setProblem(Problem problem)

Methods inherited from class java.lang.Object

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

Constructor Details

NodeNameProvider

public NodeNameProvider()

Method Details

setProblem

public void setProblem(Problem problem)

getNextName

public String getNextName(String typeName)