C# Class Axiom.Runtime.Choicepoint

Description of Choicepoint.
Inheritance: HeapNode
Mostrar archivo 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