Rule index (API)

[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

Rule index


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