C# Class Axiom.Runtime.Choicepoint

Description of Choicepoint.
Inheritance: HeapNode
Afficher le fichier Open project: ahodroj/prologdotnet Class Usage Examples

Méthodes publiques

Méthode 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

Méthode Description
GetChoicepointItem ( string item ) : AbstractTerm

Method Details

Choicepoint() public méthode

public Choicepoint ( ) : System
Résultat System

Choicepoint() public méthode

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
Résultat System

SaveRegisters() public méthode

public SaveRegisters ( AbstractMachineState state, int count ) : void
state AbstractMachineState
count int
Résultat void

SaveVariable() public méthode

public SaveVariable ( AbstractTerm register ) : void
register AbstractTerm
Résultat void

UnsaveRegisters() public méthode

public UnsaveRegisters ( AbstractMachineState state, int count ) : void
state AbstractMachineState
count int
Résultat void

this() public méthode

public this ( string item ) : AbstractTerm
item string
Résultat AbstractTerm