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.