protected DepthFirstMapper(DepthFirstMapper original, Cloner cloner) : base(original, cloner) { }
protected DepthFirstMapper(DepthFirstMapper original, Cloner cloner) : base(original, cloner) { }
protected DepthFirstMapper(DepthFirstMapper original, Cloner cloner) : base(original, cloner) { }
protected DepthFirstMapper(DepthFirstMapper original, Cloner cloner) : base(original, cloner) { }