C# (CSharp) PAT.Common.Classes.CUDDLib CUDD.GetElse 예제들

예제 #1

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

            CUDD.Ref(result);
            CUDD.Deref(this);
            return(result);
        }

예제 #2

파일: CUDDNode.cs 프로젝트: fangld/EDGolog

 public CUDDNode GetElse()
 {
     return(CUDD.GetElse(this));
 }