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