예제 #1
0
        /// <summary>
        /// [ REFS: 'result', DEREFS: 'this']
        /// </summary>
        /// <returns></returns>
        public CUDDNode GetThen()
        {
            CUDDNode result = CUDD.GetThen(this);

            CUDD.Ref(result);
            CUDD.Deref(this);
            return(result);
        }
예제 #2
0
파일: CUDDNode.cs 프로젝트: fangld/EDGolog 
 public CUDDNode GetThen()
 {
     return(CUDD.GetThen(this));
 }