| A | ||
|---|---|---|
| abs | n/a | integer.str |
| abspath | Return the absolute path of a pathname | file-abstractions.str |
| access | n/a | file.str |
| add | Adds two numbers (integer or real) | integer.str |
| add-extension | Adds an extension (second argument) to a path (first argument) | file.str |
| add-indices | Adds indices to the elements of a list | index.str |
| add-inf | n/a | integer.str |
| add-inf1 | n/a | integer.str |
| add-inf2 | n/a | integer.str |
| add-lists | Adds together multiple lists of numbers | integer.str |
| add-times | n/a | time.str |
| add2(ATerm scpid, ATerm tbl2, ATerm key, ATerm value) | n/a | dynamic-rules.str |
| add2(ATerm scpid, ATerm tbl2, ATerm key, ATerm value) | n/a | dynamic-rules.str |
| addi | Adds two integers | integer.str |
| addr | Adds two reals | integer.str |
| address | Give the address of a term | common.str |
| address-lt | Compare the address of two terms and succeeds if the address of the first is smaller than the address of the second | common.str |
| addS | n/a | integer.str |
| Alert(ATerm ) | n/a | log.str |
| align-center | n/a | string.str |
| align-helper(ATerm c, ATerm n) | 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(Strategy s) | n/a | list.str |
| all-l-dist(Strategy s) | n/a | list-environment.str |
| all-lines(Strategy s) | Applies a strategy to all lines in a string | string.str |
| alldownup2(Strategy s1, Strategy s2) | n/a | simple.str |
| alldownup2-l(Strategy s1, Strategy s2) | n/a | list.str |
| AllSignals | Table containing all signals | signal.str |
| alltd(Strategy s) | n/a | simple.str |
| alltd-fold(Strategy s1, Strategy s2) | n/a | simple.str |
| alltd-fold-l(Strategy s1, Strategy s2) | n/a | list.str |
| alltd-l(Strategy s) | n/a | list.str |
| and(Strategy s1, Strategy s2) | and(s1, s2) applies s1 and s2 to the current term and succeeds if both succeed | conditional.str |
| Anno(ATerm , ATerm ) | n/a | annotation.str |
| annotation | Primitives for getting and setting term annotations | annotation.str |
| apply(ATerm i) | n/a | index.str |
| apply-and-check(Strategy name, Strategy s, Strategy in-term, Strategy check) | n/a | sunit.str |
| apply-and-check(Strategy s, ATerm name, ATerm in-term, ATerm check) | n/a | sunit.str |
| apply-and-fail(Strategy name, Strategy s, Strategy in-term) | n/a | sunit.str |
| apply-and-fail(Strategy name, Strategy s, Strategy in-term, Strategy out) | n/a | sunit.str |
| apply-and-fail(Strategy s, ATerm name, ATerm in-term) | n/a | sunit.str |
| apply-and-fail(Strategy s, ATerm name, ATerm in-term, ATerm out) | n/a | sunit.str |
| apply-and-show(Strategy name, Strategy s, Strategy in-term) | n/a | sunit.str |
| apply-and-show(Strategy s, ATerm name, ATerm in-term) | n/a | sunit.str |
| apply-int-to-str-tuple(Strategy s) | n/a | integer.str |
| apply-rm-set(ATerm rmset) | n/a | dynamic-rules.str |
| apply-test(Strategy name, Strategy s, Strategy in-term, Strategy out) | n/a | sunit.str |
| apply-test(Strategy name, Strategy s, Strategy in-term) | n/a | sunit.str |
| apply-test(Strategy s, ATerm name, ATerm in-term, ATerm out) | n/a | sunit.str |
| apply-test(Strategy s, ATerm name, ATerm in-term) | n/a | sunit.str |
| April(ATerm ) | n/a | time.str |
| Arg2Option(Strategy is-flag, Strategy label) | n/a | parse-options.str |
| Arg2Option(Strategy is-flag, Strategy label, Strategy s) | n/a | parse-options.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 label) | 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 |
| ArgOption(Strategy is-flag, Strategy handlers, ATerm msg) | Handle a special action, which is specified by a tuple | parse-options.str |
| assert(Strategy ns) | n/a | scoped-finite-map.str |
| at-depth(Strategy depth, Strategy s) | n/a | common.str |
| at-end(Strategy s) | Apply s to the Nil of a list | common.str |
| at-index(Strategy s) | Apply s at the specified index The first element has index 0 | index.str |
| at-index(Strategy s, ATerm i) | Apply s at the specified index i | index.str |
| at-index-tail(Strategy s, ATerm i) | Apply s to the list containing the elements from index i onwards from the original list | index.str |
| at-init(Strategy s1, Strategy s2) | Applies s1 to all elements in a list, except the last, where s2 is applied | common.str |
| at-last(Strategy s) | Apply s to the last Cons ([_]) of a list | common.str |
| at-suffix(Strategy s) | Apply a strategy to some suffix of a list | common.str |
| at-suffix-rev(Strategy s) | Apply a strategy to some suffix of a list | common.str |
| at-tail(Strategy s) | Apply a strategy to the tail of a list | common.str |
| atan2 | n/a | real.str |
| aterm-lib-options | Allow all flag starting with -at-* (these are ATerm library flags) | options.str |
| aterm-output-option | Option specifications for ATerm output | options.str |
| atmostonce(Strategy s) | n/a | collect.str |
| August(ATerm ) | n/a | time.str |
| average | Returns the average of all integers in a list of integers | integer.str |
| B | ||
| back-split-at(ATerm n) | Splits a list in two, with the second part containing the last n elements and and first part containing all elements except the last n | common.str |
| bag | This module contains strategies for handling bags | bag.str |
| 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 |
| base-filename | Strips the directory from a pathname | file.str |
| begin-scope(Strategy ns) | n/a | scoped-finite-map.str |
| bin-chars-to-int | n/a | integer.str |
| bin-string-to-int | n/a | integer.str |
| bottomup(Strategy s) | n/a | simple.str |
| bottomup-l(Strategy s) | n/a | list.str |
| bottomup-para(Strategy s) | A variation on bottomup is a traversal that also provides the original term as well as the term in which the direct subterms have been transformed | simple.str |
| bottomup-para-l(Strategy s) | n/a | list.str |
| bottomupS(Strategy s, Strategy stop) | n/a | simple.str |
| bottomupS-l(Strategy s, Strategy stop) | n/a | list.str |
| breadthfirst(Strategy s) | n/a | simple.str |
| BreakCS(ATerm , ATerm ) | n/a | dynamic-rules.str |
| bu-collect(Strategy s) | n/a | collect.str |
| C | ||
| call | Call a program with list of string arguments | process-abstractions.str |
| call(Strategy init-child) | n/a | process-abstractions.str |
| call(ATerm opt-fdin, ATerm opt-fdout, ATerm opt-fderr) | n/a | process-abstractions.str |
| call-noisy | Call program with a list of strings arguments and print information to stderr | process-abstractions.str |
| can-create-file | n/a | file-abstractions.str |
| can-execute-file | n/a | file-abstractions.str |
| can-read-file | n/a | file-abstractions.str |
| can-write-file | n/a | file-abstractions.str |
| cart(Strategy s) | Create the cartesian product of two lists, i | zip.str |
| case-char(Strategy s) | Applies a strategy to the upper-case variants of two characters | string.str |
| Catch(ATerm , ATerm ) | n/a | dynamic-rules.str |
| catch-annos | n/a | annotation.str |
| change1-no | n/a | common.str |
| change1-yes | n/a | common.str |
| change2-no | n/a | common.str |
| change2-yes | n/a | common.str |
| ChangeSet(ATerm , ATerm , ATerm ) | n/a | dynamic-rules.str |
| char | Character based in-/output | char.str |
| char-to-digit | n/a | integer.str |
| char-to-digit | n/a | integer.str |
| char-to-digit | n/a | integer.str |
| chdir | Change current working directory | file.str |
| check-for-failures | Internal: fails if there was a failure | sunit.str |
| checksum | Give checksum of a term | common.str |
| cify | n/a | string.str |
| clock | n/a | time.str |
| clock-to-seconds | n/a | time.str |
| close | Closing a file | file.str |
| close-filter-pipe(Strategy s) | n/a | pipe-abstractions.str |
| close-pipe | n/a | pipe-abstractions.str |
| coll(Strategy s) | n/a | environment.str |
| collect | Collecting subterms | collect.str |
| collect(Strategy s) | Synonym of collect-om | collect.str |
| collect(Strategy s, Strategy skip) | n/a | collect.str |
| collect-all(Strategy s) | collect all subterms for which s succeeds | collect.str |
| collect-all(Strategy s, Strategy un) | collect all subterms with user-defined union operator | collect.str |
| collect-all(Strategy s, Strategy un, Strategy reduce) | collect all subterms with user-defined union operator and a skip argument | collect.str |
| collect-exc(Strategy base, Strategy special) | n/a | collect.str |
| collect-om(Strategy s) | collect outermost subterms for which s succeeds | collect.str |
| collect-om(Strategy s, Strategy op) | collect outermost subterms with user-defined union operator | collect.str |
| collect-om(Strategy s, Strategy un, Strategy skip) | collect outermost subterms with user-defined union operator and a skip argument | collect.str |
| collect-split(Strategy f, Strategy g) | Produces pair of a reduced term and a list of extracted subterms | collect.str |
| collect-split(Strategy splitter) | n/a | collect.str |
| collect-split'(Strategy splitter) | n/a | collect.str |
| CollectSplit(Strategy s, Strategy splitter) | Helper of collect-split | collect.str |
| CollectSplit(Strategy s, Strategy f, Strategy g) | Helper of collect-split | collect.str |
| common | Some primitives for the manipulation of terms | common.str |
| common | This module defines generic strategies for packing a set of modules reachable from a root module and for flattening a set of modules into a single program | common.str |
| common | n/a | common.str |
| common | This module contains basic functionality for manipulating lists | common.str |
| common | n/a | common.str |
| common | Get and set values in the configuration table | common.str |
| common-prefix | Returns the common prefix of two lists | common.str |
| comp-comp(Strategy s1, Strategy s2) | n/a | integer.str |
| ComponentTime(ATerm , ATerm , ATerm ) | n/a | time.str |
| Conc(ATerm , ATerm ) | Concatenation of two lists | cons.str |
| conc | Concatenates all lists of a tuple | common.str |
| conc-strings | Concats a tuple of two Strings | string.str |
| concat | Concatenates a list of lists into one list | common.str |
| concat-strings | Concats a list of Strings | string.str |
| conditional | Conditionals | conditional.str |
| cons | Overlay for pairs | cons.str |
| cons | Lists are represented by means of the constructors Nil and Cons | cons.str |
| Cons(ATerm , ATerm ) | Element of a list | cons.str |
| ContinueCS(ATerm , ATerm ) | n/a | dynamic-rules.str |
| copy | n/a | common.str |
| copy(Strategy s) | Makes n copies of a term into a list of duplicates, applying the strategy s to every copy | common.str |
| copy-char | n/a | string.str |
| copy-file | Alternative to the POSIX+XSI copy-file | file.str |
| copy-file | Copy a file using memory mapped I/O | file.str |
| copy-pipe-to-file | n/a | pipe-abstractions.str |
| cos | n/a | real.str |
| count-bottomup(Strategy s) | n/a | environment.str |
| Counter | n/a | integer.str |
| creat | Opening a file | file.str |
| create-dep-file(Strategy dep-base) | n/a | modules.str |
| Critical(ATerm ) | n/a | log.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(ATerm , ATerm , ATerm ) | n/a | time.str |
| date-format | This module offers strategies to format a ComponentTime to a String | date-format.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 |