C# 클래스 Prolog.Symbol

상속: Term

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

공개 프로퍼티들

프로퍼티	타입	설명
ColonColon	Symbol
Minus	Symbol
Text	Symbol

Private Properties

프로퍼티	타입	설명
Intern	Symbol
Symbol	System.Collections.Generic
UnifyWithTerm	IEnumerable
UnifyWithTerm	bool

공개 메소드들

메소드	설명
IsInterned ( string name ) : bool	True if the string names a symbol in the symbol table. Does not intern a new symbol.
ToString ( ) : string	Prints the name of the symbol.

비공개 메소드들

메소드	설명
Intern ( string name ) : Symbol
Symbol ( string name ) : System.Collections.Generic
UnifyWithTerm ( Term value ) : IEnumerable
UnifyWithTerm ( Term value, PrologContext context ) : bool

메소드 상세

IsInterned() 공개 정적인 메소드

True if the string names a symbol in the symbol table. Does not intern a new symbol.

public static IsInterned ( string name ) : bool
name	string	Name of the symbol to search for
리턴	bool

ToString() 공개 메소드

Prints the name of the symbol.

public ToString ( ) : string
리턴	string

프로퍼티 상세

ColonColon 공개적으로 정적으로 프로퍼티

The Prolog symbol '::'

public static Symbol,Prolog ColonColon
리턴	Symbol

Minus 공개적으로 정적으로 프로퍼티

The Prolog symbol '-'

public static Symbol,Prolog Minus
리턴	Symbol

Text 공개적으로 정적으로 프로퍼티

The Prolog symbol '::'

public static Symbol,Prolog Text
리턴	Symbol