C# 클래스 Axiom.Runtime.AMProgram

상속: AbstractProgram

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

공개 메소드들

메소드	설명
AddInstruction ( AbstractInstruction instruction ) : void
AddLabel ( string label, ProgramClause procedure ) : void
AddProgramNode ( ProgramNode node ) : void
AssertFirst ( string predicateName, int arity, ArrayList code ) : void
AssertLast ( string predicateName, int arity, ArrayList code ) : void
CurrentInstruction ( ) : AbstractInstruction
Initialize ( ArrayList program ) : void
IsDefined ( string label ) : bool
Next ( ) : void
Stop ( ) : bool
this ( string procedureName ) : ProgramClause

비공개 메소드들

메소드	설명
AddLabelAndPatchPredicates ( string label, ProgramClause procedure ) : void
PatchPredicates ( string predicateName, int arity, ProgramClause oldFirst ) : void

메소드 상세

AddInstruction() 공개 메소드

public AddInstruction ( AbstractInstruction instruction ) : void
instruction	AbstractInstruction
리턴	void

AddLabel() 공개 메소드

public AddLabel ( string label, ProgramClause procedure ) : void
label	string
procedure	ProgramClause
리턴	void

AddProgramNode() 공개 메소드

public AddProgramNode ( ProgramNode node ) : void
node	ProgramNode
리턴	void

AssertFirst() 공개 메소드

public AssertFirst ( string predicateName, int arity, ArrayList code ) : void
predicateName	string
arity	int
code	System.Collections.ArrayList
리턴	void

AssertLast() 공개 메소드

public AssertLast ( string predicateName, int arity, ArrayList code ) : void
predicateName	string
arity	int
code	System.Collections.ArrayList
리턴	void

CurrentInstruction() 공개 메소드

public CurrentInstruction ( ) : AbstractInstruction
리턴	AbstractInstruction

Initialize() 공개 메소드

public Initialize ( ArrayList program ) : void
program	System.Collections.ArrayList
리턴	void

IsDefined() 공개 메소드

public IsDefined ( string label ) : bool
label	string
리턴	bool

Next() 공개 메소드

public Next ( ) : void
리턴	void

Stop() 공개 메소드

public Stop ( ) : bool
리턴	bool

this() 공개 메소드

public this ( string procedureName ) : ProgramClause
procedureName	string
리턴	ProgramClause