public TransitionEffector(TransitionEffector other) { this.Operator = other.Operator; if (other.Opl != null) { this.Opl = other.Opl.Clone() as RightValueDef; } if (other.Opr1 != null) { this.Opr1 = other.Opr1.Clone() as RightValueDef; } if (other.Opr2 != null) { this.Opr2 = other.Opr2.Clone() as RightValueDef; } }