Package tools.refinery.language.resource.state

Class NodeNameCollector

java.lang.Object

tools.refinery.language.resource.state.NodeNameCollector

public class NodeNameCollector
extends Object

Constructor Summary

Constructors

Constructor	Description
NodeNameCollector()

Method Summary

Modifier and Type	Method	Description
protected void	collectAssertionNodeNames(Assertion assertion)
void	collectNodeNames(Problem problem)
protected void	collectStatementNodeNames(Statement statement)
Set<String>	getNodeNames()

Methods inherited from class java.lang.Object

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

Constructor Details

NodeNameCollector

public NodeNameCollector()

Method Details

getNodeNames

public Set<String> getNodeNames()

collectNodeNames

public void collectNodeNames(Problem problem)

collectStatementNodeNames

protected void collectStatementNodeNames(Statement statement)

collectAssertionNodeNames

protected void collectAssertionNodeNames(Assertion assertion)