public RelabelMatcher(Dictionary<string, Tree> newNodeNames, CoindexationGenerator coindexer, RelabelNode node) : base(node, newNodeNames, coindexer) { this.node = node; }
public RelabelMatcher(Dictionary <string, Tree> newNodeNames, CoindexationGenerator coindexer, RelabelNode node) : base(node, newNodeNames, coindexer) { this.node = node; }