C# 클래스 Axiom.Runtime.Choicepoint

Description of Choicepoint.

상속: HeapNode

파일 보기 프로젝트 열기: ahodroj/prologdotnet 1 사용 예제들

공개 메소드들

메소드	설명
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

비공개 메소드들

메소드	설명
GetChoicepointItem ( string item ) : AbstractTerm

메소드 상세

Choicepoint() 공개 메소드

public Choicepoint ( ) : System
리턴	System

Choicepoint() 공개 메소드

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
리턴	System

SaveRegisters() 공개 메소드

public SaveRegisters ( AbstractMachineState state, int count ) : void
state	AbstractMachineState
count	int
리턴	void

SaveVariable() 공개 메소드

public SaveVariable ( AbstractTerm register ) : void
register	AbstractTerm
리턴	void

UnsaveRegisters() 공개 메소드

public UnsaveRegisters ( AbstractMachineState state, int count ) : void
state	AbstractMachineState
count	int
리턴	void

this() 공개 메소드

public this ( string item ) : AbstractTerm
item	string
리턴	AbstractTerm