C# Class Axiom.Runtime.StructureTerm

Inheritance: AbstractTerm
显示文件 Open project: ahodroj/prologdotnet Class Usage Examples

Public Methods

Method Description
Bind ( AbstractTerm term ) : void
Data ( ) : object
Dereference ( ) : AbstractTerm
Reference ( ) : AbstractTerm
StructureTerm ( ) : System
StructureTerm ( string name, int arity ) : System
ToString ( ) : string
Unify ( AbstractTerm term ) : bool
this ( int index ) : AbstractTerm

Private Methods

Method Description
GetArgumentIndex ( int index ) : AbstractTerm

Method Details

Bind() public method

public Bind ( AbstractTerm term ) : void
term AbstractTerm
return void

Data() public method

public Data ( ) : object
return object

Dereference() public method

public Dereference ( ) : AbstractTerm
return AbstractTerm

Reference() public method

public Reference ( ) : AbstractTerm
return AbstractTerm

StructureTerm() public method

public StructureTerm ( ) : System
return System

StructureTerm() public method

public StructureTerm ( string name, int arity ) : System
name string
arity int
return System

ToString() public method

public ToString ( ) : string
return string

Unify() public method

public Unify ( AbstractTerm term ) : bool
term AbstractTerm
return bool

this() public method

public this ( int index ) : AbstractTerm
index int
return AbstractTerm