C# Class Swicli.Library.AbstractNondetMethod

Inheritance: IDisposable, NDCCHBOX

Mostra 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_oe property

protected int Arity
return	int

Module protected_oe property

protected string Module
return	string

Name protected_oe property

protected string Name
return	string