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