A
|
add-extension
|
Adds an extension (second argument) to a path (first argument)
|
file.str
|
add-inf1
|
n/a
|
integer.str
|
add-inf2
|
n/a
|
integer.str
|
add-times
|
n/a
|
time.str
|
align-center
|
n/a
|
string.str
|
align-left
|
n/a
|
string.str
|
align-right
|
n/a
|
string.str
|
all-dist(Strategy s)
|
n/a
|
environment.str
|
all-l-dist(Strategy s)
|
n/a
|
list-environment.str
|
Arg2Option(Strategy is-flag, Strategy label, Strategy s)
|
n/a
|
parse-options.str
|
ArgOption(Strategy is-flag, Strategy label, Strategy s)
|
n/a
|
parse-options.str
|
ArgOption(Strategy is-flag, Strategy handlers, ATerm msg)
|
The handlers argument of this ArgOption variant must be an OptionHandler
|
parse-options.str
|
B
|
bag-insert
|
Inserts a new element into a bag
|
bag.str
|
bag-insert(Strategy equ)
|
Inserts a new element into a bag
|
bag.str
|
bag-union
|
Takes the union of two bags
|
bag.str
|
bag-union(Strategy equ)
|
Takes the union of two bags
|
bag.str
|
C
|
cart(Strategy s)
|
Create the cartesian product of two lists, i
|
zip.str
|
char-to-digit
|
n/a
|
integer.str
|
char-to-digit
|
n/a
|
integer.str
|
char-to-digit
|
n/a
|
integer.str
|
close-filter-pipe(Strategy s)
|
n/a
|
pipe-abstractions.str
|
coll(Strategy s)
|
n/a
|
environment.str
|
CollectSplit(Strategy s, Strategy splitter)
|
Helper of collect-split
|
collect.str
|
copy-pipe-to-file
|
n/a
|
pipe-abstractions.str
|
create-dep-file(Strategy dep-base)
|
n/a
|
modules.str
|
crush(Strategy nul, Strategy sum)
|
n/a
|
common.str
|
crush(Strategy nul, Strategy sum, Strategy s)
|
n/a
|
common.str
|
csystem-time
|
n/a
|
time.str
|
cuser-time
|
n/a
|
time.str
|
D
|
d(Strategy s)
|
n/a
|
environment.str
|
date-format
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-int
|
n/a
|
date-format.str
|
date-pattern-to-string
|
n/a
|
date-format.str
|
date-pattern-to-string
|
n/a
|
date-format.str
|
date-pattern-to-string
|
n/a
|
date-format.str
|
date-pattern-to-string
|
n/a
|
date-format.str
|
date-pattern-to-string
|
n/a
|
date-format.str
|
date-pattern-to-string
|
n/a
|
date-format.str
|
day-of-week2abbr
|
n/a
|
date-format.str
|
day-of-week2abbr
|
n/a
|
date-format.str
|
day-of-week2abbr
|
n/a
|
date-format.str
|
day-of-week2abbr
|
n/a
|
date-format.str
|
day-of-week2abbr
|
n/a
|
date-format.str
|
day-of-week2abbr
|
n/a
|
date-format.str
|
day-of-week2abbr
|
n/a
|
date-format.str
|
day-of-week2index
|
n/a
|
time.str
|
day-of-week2index
|
n/a
|
time.str
|
day-of-week2index
|
n/a
|
time.str
|
day-of-week2index
|
n/a
|
time.str
|
day-of-week2index
|
n/a
|
time.str
|
day-of-week2index
|
n/a
|
time.str
|
day-of-week2index
|
n/a
|
time.str
|
day-of-week2text
|
n/a
|
date-format.str
|
day-of-week2text
|
n/a
|
date-format.str
|
day-of-week2text
|
n/a
|
date-format.str
|
day-of-week2text
|
n/a
|
date-format.str
|
day-of-week2text
|
n/a
|
date-format.str
|
day-of-week2text
|
n/a
|
date-format.str
|
day-of-week2text
|
n/a
|
date-format.str
|
diff(Strategy eq)
|
Computes the difference between two sets
|
set.str
|
diff-times
|
n/a
|
time.str
|
Disambiguate(Strategy paren)
|
n/a
|
parenthesize.str
|
Disambiguate(Strategy paren)
|
n/a
|
parenthesize.str
|
DistBinding(Strategy s)
|
n/a
|
rename.str
|
DistBinding(Strategy s, Strategy boundin)
|
n/a
|
rename.str
|
dr-apply-change(ATerm tbl)
|
commit to ruleset is finding the first ChangeSet (any) *or* the first RuleScope that has the appropriate scopeid (i
|
dynamic-rules.str
|
dr-apply-removal
|
n/a
|
dynamic-rules.str
|
dr-commit-change-set(Strategy destroy)
|
The strategy destroy indicates whether the change set should also be destroyed after the commmit
|
dynamic-rules.str
|
dr-discard-change-set
|
n/a
|
dynamic-rules.str
|
dr-get-inner-scope
|
n/a
|
dynamic-rules.str
|
dr-leave-scope
|
n/a
|
dynamic-rules.str
|
dr-merge-rule-sets1(Strategy merge-rs, Strategy merge-rec)
|
n/a
|
dynamic-rules.str
|
dr-merge-rule-sets2(Strategy merge-cs, Strategy merge-rec)
|
n/a
|
dynamic-rules.str
|
Dupl
|
n/a
|
common.str
|
E
|
exec-filter-pipe(Strategy s)
|
n/a
|
pipe-abstractions.str
|
F
|
file-from-pipe
|
n/a
|
pipe-abstractions.str
|
file-to-pipe
|
n/a
|
pipe-abstractions.str
|
filter-text-file(Strategy more, Strategy done)
|
Filters the contents of a textfile character chunk by character chunk
|
char.str
|
fork-rule-sets
|
n/a
|
dynamic-rules.str
|
Fst
|
n/a
|
common.str
|
G
|
gen-left
|
n/a
|
parenthesize.str
|
gen-non-assoc
|
n/a
|
parenthesize.str
|
gen-none
|
n/a
|
parenthesize.str
|
gen-right
|
n/a
|
parenthesize.str
|
get-annotations
|
Returns the list of annotations of the current term
|
annotation.str
|
GnExit
|
n/a
|
graph.str
|
GnInit
|
n/a
|
graph.str
|
GnInitRoots
|
n/a
|
graph.str
|
GnNext(Strategy get-node, Strategy out-edges, Strategy add-node)
|
n/a
|
graph.str
|
GnNextChangeGraph(Strategy get-node, Strategy out-edges, Strategy add-node)
|
n/a
|
graph.str
|
GnUndefined
|
n/a
|
graph.str
|
H
|
hashtable-merge(Strategy symm, Strategy iterate1, Strategy iterate2, Strategy remove, Strategy merge, Strategy default, Strategy change1, Strategy change2, Strategy lookup1, Strategy lookup2)
|
n/a
|
common.str
|
hashtable-merge-func(Strategy iterate1, Strategy iterate2, Strategy remove, Strategy merge, Strategy default, Strategy lookup1, Strategy lookup2)
|
Merge hashtables creating a new one
|
common.str
|
I
|
index2day-of-week
|
n/a
|
time.str
|
index2day-of-week
|
n/a
|
time.str
|
index2day-of-week
|
n/a
|
time.str
|
index2day-of-week
|
n/a
|
time.str
|
index2day-of-week
|
n/a
|
time.str
|
index2day-of-week
|
n/a
|
time.str
|
index2day-of-week
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
index2month
|
n/a
|
time.str
|
is-interval
|
Succeeds if the input term is a list of monotonously increasing integers and the difference between two adjacent integers is always one
|
integer.str
|
isect(Strategy eq)
|
Take the intersection of two sets
|
set.str
|
J
|
join(Strategy s)
|
Creates the cartesian product of two lists and select only those combined elements <s>(x, y) that succeed
|
zip.str
|
L
|
ListToTuple
|
n/a
|
common.str
|
LMerge(Strategy s)
|
Merges the first and a particular element of the list, determined by the strategy argument s
|
sort.str
|
LSort(Strategy s)
|
Moves a particular element of a list to the front, determined by the strategy argument s
|
sort.str
|
M
|
MatchVar(Strategy isvar)
|
n/a
|
unification.str
|
maybe(Strategy s1, Strategy s2)
|
n/a
|
conditional.str
|
maybe(Strategy s1, Strategy s2)
|
n/a
|
conditional.str
|
memo(Strategy s)
|
<memo(tbl, s)> t first looks up the term t in the memo table
|
memo.str
|
MkCons
|
Makes a Cons out of a tuple with head and tail
|
common.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2abbr
|
n/a
|
date-format.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2index
|
n/a
|
time.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
month2text
|
n/a
|
date-format.str
|
N
|
neg-chars-to-int
|
n/a
|
integer.str
|
nestedtable-get-aux(Strategy forward, ATerm tbl)
|
n/a
|
nested.str
|
nestedtable-get-aux(Strategy forward, ATerm tbl)
|
n/a
|
nested.str
|
nestedtable-get-aux(Strategy forward, ATerm tbl1)
|
n/a
|
nested.str
|
nestedtable-put-aux(Strategy forward, Strategy changed, ATerm tbl, ATerm value)
|
n/a
|
nested.str
|
nestedtable-put-aux(Strategy forward, Strategy changed, ATerm tbl, ATerm value)
|
n/a
|
nested.str
|
nestedtable-put-aux(Strategy forward, Strategy changed, ATerm tbl1, ATerm value)
|
n/a
|
nested.str
|
number-from-signal
|
n/a
|
signal.str
|
number-from-signal
|
n/a
|
signal.str
|
O
|
one-dist(Strategy s)
|
n/a
|
environment.str
|
Option(Strategy is-flag, Strategy label, Strategy s)
|
n/a
|
parse-options.str
|
Option(Strategy is-flag, Strategy handlers, ATerm msg)
|
The handlers argument of this ArgOption variant must be an OptionHandler
|
parse-options.str
|
P
|
PackInit
|
n/a
|
common.str
|
pipe-sink(Strategy prog, Strategy args)
|
n/a
|
pipe-abstractions.str
|
pipe-source(Strategy prog, Strategy args)
|
n/a
|
pipe-abstractions.str
|
preserve-annos(Strategy s)
|
n/a
|
annotation.str
|
prim-tuple-to-ComponentTime
|
n/a
|
time.str
|
Q
|
quick-sort(Strategy swap, ATerm tail)
|
n/a
|
sort.str
|
quick-sort(Strategy swap, ATerm tail)
|
n/a
|
sort.str
|
quote-chars
|
n/a
|
string.str
|
R
|
read-term-from-pipe
|
n/a
|
pipe-abstractions.str
|
rm-annotations
|
n/a
|
annotation.str
|
RnBinding(Strategy bndvrs)
|
n/a
|
rename.str
|
RnBinding(Strategy bndvrs, Strategy paste)
|
n/a
|
rename.str
|
RnVar(Strategy isvar)
|
n/a
|
rename.str
|
S
|
self-children-sys-time
|
n/a
|
time.str
|
self-children-user-time
|
n/a
|
time.str
|
set-anno
|
n/a
|
annotation.str
|
set-annotations
|
Sets the annotations of the given term t to the annotations a
|
annotation.str
|
severity-string
|
n/a
|
log.str
|
severity-string
|
n/a
|
log.str
|
severity-string
|
n/a
|
log.str
|
severity-string
|
n/a
|
log.str
|
severity-string
|
n/a
|
log.str
|
severity-string
|
n/a
|
log.str
|
severity-string
|
n/a
|
log.str
|
severity-string
|
n/a
|
log.str
|
severity-string
|
n/a
|
log.str
|
signal-to-descr
|
n/a
|
signal.str
|
signal-to-descr
|
n/a
|
signal.str
|
Snd
|
n/a
|
common.str
|
SortL(Strategy s)
|
Swaps the two first elements in a list if s succeeds on this pair
|
sort.str
|
spawn-filter-with-prog(Strategy prog, Strategy args)
|
n/a
|
pipe-abstractions.str
|
split-Cons
|
Splits a Cons into a tuple with head and tail
|
common.str
|
string-to-level
|
n/a
|
log.str
|
string-to-level
|
n/a
|
log.str
|
string-to-level
|
n/a
|
log.str
|
string-to-level
|
n/a
|
log.str
|
string-to-level
|
n/a
|
log.str
|
string-to-level
|
n/a
|
log.str
|
string-to-level
|
n/a
|
log.str
|
string-to-level
|
n/a
|
log.str
|
string-to-level
|
n/a
|
log.str
|
SubsVar(Strategy isvar, Strategy mksbs)
|
n/a
|
substitution.str
|
Swap
|
n/a
|
common.str
|
system-time
|
n/a
|
time.str
|
T
|
t(Strategy s)
|
n/a
|
environment.str
|
term-share-dead
|
n/a
|
share.str
|
term-share-dont-inline(Strategy mklet)
|
n/a
|
share.str
|
term-share-inline
|
n/a
|
share.str
|
TermZip(Strategy s)
|
n/a
|
zip.str
|
Third
|
n/a
|
common.str
|
thread-map(Strategy s)
|
Applies s to each element in the list, keeping along a separate context term
|
common.str
|
thread-replacement(Strategy s)
|
n/a
|
environment.str
|
times-to-seconds
|
n/a
|
time.str
|
Ttl
|
n/a
|
common.str
|
TupleToList
|
n/a
|
common.str
|
U
|
UfDecompose
|
n/a
|
unification.str
|
UfIdem
|
n/a
|
unification.str
|
UfShift
|
n/a
|
unification.str
|
UfSwap(Strategy isvar)
|
n/a
|
unification.str
|
UfVar(Strategy isvar)
|
n/a
|
unification.str
|
UndefinedOption
|
n/a
|
parse-options.str
|
union(Strategy eq)
|
n/a
|
set.str
|
user-time
|
n/a
|
time.str
|
V
|
verbose-level
|
n/a
|
log.str
|
verbose-level
|
n/a
|
log.str
|
verbose-level
|
n/a
|
log.str
|
verbose-level
|
n/a
|
log.str
|
verbose-level
|
n/a
|
log.str
|
verbose-level
|
n/a
|
log.str
|
verbose-level
|
n/a
|
log.str
|
verbose-level
|
n/a
|
log.str
|
verbose-level
|
n/a
|
log.str
|
W
|
WriteMod(Strategy getname, Strategy write, Strategy ext)
|
n/a
|
common.str
|