C# Class Axiom.Runtime.Choicepoint

Description of Choicepoint.

Inheritance: HeapNode

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

Public Methods

Method	Description
Choicepoint ( ) : System
Choicepoint ( int arity, EnvironmentFrame ce, ProgramNode cp, Choicepoint b, ProgramClause nextClause, int tr, HeapNode h ) : System
SaveRegisters ( AbstractMachineState state, int count ) : void
SaveVariable ( AbstractTerm register ) : void
UnsaveRegisters ( AbstractMachineState state, int count ) : void
this ( string item ) : AbstractTerm

Private Methods

Method	Description
GetChoicepointItem ( string item ) : AbstractTerm

Method Details

Choicepoint() public method

public Choicepoint ( ) : System
return	System

Choicepoint() public method

public Choicepoint ( int arity, EnvironmentFrame ce, ProgramNode cp, Choicepoint b, ProgramClause nextClause, int tr, HeapNode h ) : System
arity	int
ce	EnvironmentFrame
cp	ProgramNode
b	Choicepoint
nextClause	ProgramClause
tr	int
h	HeapNode
return	System

SaveRegisters() public method

public SaveRegisters ( AbstractMachineState state, int count ) : void
state	AbstractMachineState
count	int
return	void

SaveVariable() public method

public SaveVariable ( AbstractTerm register ) : void
register	AbstractTerm
return	void

UnsaveRegisters() public method

public UnsaveRegisters ( AbstractMachineState state, int count ) : void
state	AbstractMachineState
count	int
return	void

this() public method

public this ( string item ) : AbstractTerm
item	string
return	AbstractTerm