Strategy details
|
ATerm
|
xtc-register(ATerm tools, ATerm version, ATerm loc)
|
File
|
Register.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
tools
|
tools String or List(String)
|
ATerm
version
|
version String
|
ATerm
loc
|
loc Directory of tools
|
|
No information available.
|
|
ATerm
|
xtc-register-path(ATerm tools, ATerm version, ATerm path)
|
File
|
Register.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
tools
|
tools List(String)
|
ATerm
version
|
version String
|
ATerm
path
|
path Directory of tools
|
|
No information available.
|
|
ATerm
|
xtc-register-path(ATerm tool, ATerm version, ATerm path)
|
File
|
Register.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
tool
|
tools String
|
ATerm
version
|
version String
|
ATerm
path
|
path Directory of tools
|
|
No information available.
|
|