TreeStrategy (SPECpp)

All Known Subinterfaces:

ContractionStrategy<N>, ExpansionStrategy<N>, ExpansionStrategyComponent<N>, LocalTreeTraversalStrategy<N>

All Known Implementing Classes:

DiscriminatingHeuristicTreeExpansion, EventingDiscriminatingHeuristicTreeExpansion, EventingHeuristicTreeExpansion, HeuristicTreeExpansion, InstrumentedExpansionStrategy, VariableExpansion, VariableExpansion.BFS, VariableExpansion.DFS
```
public interface TreeStrategy<N extends TreeNode>
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`deregisterNode(N node)`
`void`	`registerNode(N node)`
`void`	`registerPotentialNodes(java.lang.Iterable<N> potentialNodes)`

Method Detail

registerNode
```
void registerNode(N node)
```

registerPotentialNodes

void registerPotentialNodes(java.lang.Iterable<N> potentialNodes)

deregisterNode
```
void deregisterNode(N node)
```