Method | Description | |
---|---|---|
Add ( |
||
this ( int idx ) : |
||
this ( string name ) : PlTerm |
Gets the PlTerm of the given variable name or throw an ArgumentException.
|
public this ( string name ) : PlTerm | ||
name | string | The name of the variable |
return | PlTerm |