C# (CSharp) PAT.Common.Classes.CUDDLib CUDD.GetThen Examples

Example #1

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

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

Example #2

File: CUDDNode.cs Project: fangld/EDGolog

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