/// <summary> /// [ REFS: 'result', DEREFS: 'this'] /// </summary> /// <returns></returns> public CUDDNode GetElse() { CUDDNode result = CUDD.GetElse(this); CUDD.Ref(result); CUDD.Deref(this); return(result); }
public CUDDNode GetElse() { return(CUDD.GetElse(this)); }