C# Class Swicli.Library.AbstractNondetMethod

Inheritance: IDisposable, NDCCHBOX

Show file Open project: swi-to-yap/swicli

Protected Properties

Property	Type	Description
Arity	int
Module	string
Name	string

Public Methods

Method	Description
BackrackImpl ( PlTerm a0, int arity, IntPtr control ) : int
Call ( PlTermV a0 ) : bool
Call0 ( ContextHandle handle, PlTermV termV ) : int
Clone ( ) : AbstractNondetMethod
Close ( ContextHandle handle, PlTermV a0 ) : bool
Close ( PlTermV a0 ) : bool
Dispose ( ) : void
HasMore ( ) : bool
New ( ContextHandle handle, PlTermV a0 ) : NDCCH
Register ( ) : void
Setup ( PlTermV a0 ) : bool

Protected Methods

Method	Description
AbstractNondetMethod ( ) : System

Method Details

AbstractNondetMethod() protected method

protected AbstractNondetMethod ( ) : System
return	System

BackrackImpl() public method

public BackrackImpl ( PlTerm a0, int arity, IntPtr control ) : int
a0	PlTerm
arity	int
control	System.IntPtr
return	int

Call() public abstract method

public abstract Call ( PlTermV a0 ) : bool
a0	PlTermV
return	bool

Call0() public method

public Call0 ( ContextHandle handle, PlTermV termV ) : int
handle	ContextHandle
termV	PlTermV
return	int

Clone() public abstract method

public abstract Clone ( ) : AbstractNondetMethod
return	AbstractNondetMethod

Close() public method

public Close ( ContextHandle handle, PlTermV a0 ) : bool
handle	ContextHandle
a0	PlTermV
return	bool

Close() public abstract method

public abstract Close ( PlTermV a0 ) : bool
a0	PlTermV
return	bool

Dispose() public method

public Dispose ( ) : void
return	void

HasMore() public abstract method

public abstract HasMore ( ) : bool
return	bool

New() public method

public New ( ContextHandle handle, PlTermV a0 ) : NDCCH
handle	ContextHandle
a0	PlTermV
return	NDCCH

Register() public method

public Register ( ) : void
return	void

Setup() public abstract method

public abstract Setup ( PlTermV a0 ) : bool
a0	PlTermV
return	bool

Property Details

Arity protected property

protected int Arity
return	int

Module protected property

protected string Module
return	string

Name protected property

protected string Name
return	string