C# Class Prolog.Symbol

Inheritance: Term

Afficher le fichier Open project: ianhorswill/UnityProlog Class Usage Examples

Méthodes publiques

Свойство	Type	Description
ColonColon	Symbol
Minus	Symbol
Text	Symbol

Private Properties

Свойство	Type	Description
Intern	Symbol
Symbol	System.Collections.Generic
UnifyWithTerm	IEnumerable
UnifyWithTerm	bool

Méthodes publiques

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

Private Methods

Méthode	Description
Intern ( string name ) : Symbol
Symbol ( string name ) : System.Collections.Generic
UnifyWithTerm ( Term value ) : IEnumerable
UnifyWithTerm ( Term value, PrologContext context ) : bool

Method Details

IsInterned() public static méthode

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

ToString() public méthode

Prints the name of the symbol.

public ToString ( ) : string
Résultat	string

Property Details

ColonColon public_oe static_oe property

The Prolog symbol '::'

public static Symbol,Prolog ColonColon
Résultat	Symbol

Minus public_oe static_oe property

The Prolog symbol '-'

public static Symbol,Prolog Minus
Résultat	Symbol

Text public_oe static_oe property

The Prolog symbol '::'

public static Symbol,Prolog Text
Résultat	Symbol