public ODDNode(ODDNode odd) { ptr = odd.ptr; }
/// <summary> /// Use to check 2 ODDNode are the same. Often used to check a node is a Zero or One /// [ REFS: 'none', DEREFS: 'none'] /// </summary> public override bool Equals(object obj) { ODDNode dd = obj as ODDNode; return(this.ptr == dd.ptr); }