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));
 }