public class NestedNode.CopyCrawler extends Crawler
| Modifier and Type | Field and Description |
|---|---|
protected NodeConnector |
m_connector
A connector used to connect nodes.
|
protected java.util.Map<Node,Node> |
m_copies
A map associating original nodes to their corresponding copy.
|
protected java.util.Set<Node> |
m_expanded
The set of nodes that have been expanded (i.e.
|
protected boolean |
m_withState
Whether node duplication is stateful.
|
m_allowBackward, m_allowForward, m_start| Constructor and Description |
|---|
CopyCrawler(Node start,
NodeConnector connector,
boolean with_state)
Creates a new crawler.
|
| Modifier and Type | Method and Description |
|---|---|
void |
copyInto(NestedNode nn)
Copies the content of the cloned nodes into a nested node.
|
Node |
getCopyOf(Node n) |
void |
visit(Node n)
Visits a node in the graph.
|
protected java.util.Map<Node,Node> m_copies
protected java.util.Set<Node> m_expanded
protected NodeConnector m_connector
protected boolean m_withState
public CopyCrawler(Node start, NodeConnector connector, boolean with_state)
start - The starting point of the crawlconnector - A connector used to connect nodeswith_state - Set to true to make a stateful duplication of
inner nodes, false otherwisepublic void copyInto(NestedNode nn)
nn - The node to copy the contents intoCopyright © Sylvain HallĂ©. All Rights Reserved.