C# (CSharp) Swicli.Library ContextHandle.HasMoreの例

HasMore() public abstract method

public abstract HasMore ( ) : bool
return	bool

コード例 #1

ファイル: NondetContextHandle.cs プロジェクト: segmond/swicli

        public virtual int Call0(ContextHandle handle, PlTermV termV)
        {
            bool res  = handle.Call(termV);
            bool more = handle.HasMore();

            if (more)
            {
                libpl.PL_retry(handle.Handle);
                return(res ? 3 : 0);
            }
            return(res ? 1 : 0);
        }

コード例 #2

ファイル: NondetContextHandle.cs プロジェクト: swi-to-yap/swicli

 public virtual int Call0(ContextHandle handle, PlTermV termV)
 {
     bool res = handle.Call(termV);
     bool more = handle.HasMore();
     if (more)
     {
         libpl.PL_retry(handle.Handle);
         return res ? 3 : 0;
     }
     return res ? 1 : 0;
 }