Property | Type | Description | |
---|---|---|---|
ColonColon | |||
Minus | |||
Text |
Property | Type | Description | |
---|---|---|---|
Intern | |||
Symbol | System.Collections.Generic | ||
UnifyWithTerm | IEnumerable |
||
UnifyWithTerm | bool |
Method | 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.
|
Method | Description | |
---|---|---|
Intern ( string name ) : |
||
Symbol ( string name ) : System.Collections.Generic | ||
UnifyWithTerm ( |
||
UnifyWithTerm ( |
public static IsInterned ( string name ) : bool | ||
name | string | Name of the symbol to search for |
return | bool |