Strategy summary
|
|
apply-rm-set(ATerm rmset)
|
n/a
|
dynamic-rules.str
|
|
dr-add-fail(ATerm scpid, ATerm tbl, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-rule(ATerm name, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-rule(ATerm name, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-rule-vis(ATerm name, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-scope
|
n/a
|
dynamic-rules.str
|
|
dr-add-to-rule-set(ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-to-rule-set(ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-to-rule-set(Strategy add, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-to-rule-set(Strategy add1, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-to-rule-set-vis(ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-to-rule-set-vis(Strategy add, Strategy rm, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-add-to-rule-set-vis(Strategy add1, Strategy rm1, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-all-keys(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-all-keys(ATerm removed, ATerm result)
|
Fetch all keys defined in a rule set
|
dynamic-rules.str
|
|
dr-all-keys(ATerm removed, ATerm result)
|
n/a
|
dynamic-rules.str
|
|
dr-all-keys(ATerm removed, ATerm result)
|
n/a
|
dynamic-rules.str
|
|
dr-begin-scope(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-begin-scopes(ATerm names)
|
n/a
|
dynamic-rules.str
|
|
dr-break(ATerm rulename)
|
n/a
|
dynamic-rules.str
|
|
dr-break(ATerm rulename, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-break-bp(ATerm rulename)
|
n/a
|
dynamic-rules.str
|
|
dr-build-aggregated-change-set
|
This strategy takes a pair of lists of change sets and rule scopes and returns a change set which contains all the changes from the change sets in the left member of the input pair which refer to rule scopes in the right member of the input pair
|
dynamic-rules.str
|
|
dr-build-bp-change-set(ATerm rmset, ATerm tbl, ATerm ruleset)
|
n/a
|
dynamic-rules.str
|
|
dr-build-bp-change-set(ATerm rmset, ATerm tbl, ATerm ruleset)
|
n/a
|
dynamic-rules.str
|
|
dr-clone-change-set
|
n/a
|
dynamic-rules.str
|
|
dr-commit-change-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-commit-change-set
|
n/a
|
dynamic-rules.str
|
|
dr-commit-labels(ATerm labelset)
|
n/a
|
dynamic-rules.str
|
|
dr-commit-to-change-set(ATerm scpid, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-commit-to-rule-scope(ATerm scpid, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-commit-to-rule-set(ATerm scpid, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-catch(Strategy merge, Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-catch-intersect(Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-catch-union(Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-exception-block(Strategy merge, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-exception-block-intersect(ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-exception-block-union(ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-finally(Strategy merge, Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-finally-intersect(Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-complete-finally-union(Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-continue(ATerm rulename)
|
n/a
|
dynamic-rules.str
|
|
dr-continue(ATerm rulename, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-debug-rule-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-debug-rule-set(ATerm name, ATerm msg)
|
n/a
|
dynamic-rules.str
|
|
dr-define-ignoreB(ATerm csid, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-define-ignoreC(ATerm csid, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-define-ignoreT(ATerm csid)
|
n/a
|
dynamic-rules.str
|
|
dr-destroy-and-unmark
|
n/a
|
dynamic-rules.str
|
|
dr-destroy-change-set
|
n/a
|
dynamic-rules.str
|
|
dr-destroy-scope
|
n/a
|
dynamic-rules.str
|
|
dr-discard-change-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-end-scope(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-end-scopes(ATerm names)
|
n/a
|
dynamic-rules.str
|
|
dr-eq-rule-sets
|
n/a
|
dynamic-rules.str
|
|
dr-fix-and-intersect(Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-fix-and-intersect(Strategy s, ATerm rulenames, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-fix-and-intersect-union(Strategy s, ATerm rulenames1, ATerm rulenames2)
|
Iterate combined union and intersection of two rule-sets
|
dynamic-rules.str
|
|
dr-fix-and-merge(Strategy merge, Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-fix-and-merge(Strategy merge, Strategy s, ATerm rulenames, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-fix-and-merge(Strategy merge1, Strategy merge2, Strategy s, ATerm rulenames1, ATerm rulenames2)
|
n/a
|
dynamic-rules.str
|
|
dr-fix-and-merge-internal(Strategy merge, Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-fix-and-union(Strategy s, ATerm rulenames)
|
Iterate union of two rule-sets
|
dynamic-rules.str
|
|
dr-fix-and-union(Strategy s, ATerm rulenames, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-fix-change-set
|
Fixes references in change set that point to rule scopes that will no longer be part of the merged ruleset
|
dynamic-rules.str
|
|
dr-fold-and-intersect(Strategy empty, Strategy hd, Strategy tl, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-fold-and-intersect(Strategy empty, Strategy hd, Strategy tl, ATerm rulenames, ATerm rs0)
|
n/a
|
dynamic-rules.str
|
|
dr-fork-and-intersect(Strategy s1, Strategy s2, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-fork-and-intersect-union(Strategy s1, Strategy s2, ATerm rulenames1, ATerm rulenames2)
|
Fork and combined union and intersection of two rule-sets
|
dynamic-rules.str
|
|
dr-fork-and-merge(Strategy merge, Strategy s1, Strategy s2, ATerm rulenames)
|
Fork and merge two rule-sets
|
dynamic-rules.str
|
|
dr-fork-and-merge(Strategy merge1, Strategy merge2, Strategy s1, Strategy s2, ATerm rulenames1, ATerm rulenames2)
|
n/a
|
dynamic-rules.str
|
|
dr-fork-and-union(Strategy s1, Strategy s2, ATerm rulenames)
|
Fork and union of two rule-sets
|
dynamic-rules.str
|
|
dr-friendly-debug-rule-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-friendly-debug-rule-set(ATerm name, ATerm msg)
|
n/a
|
dynamic-rules.str
|
|
dr-friendly-print-rule-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-friendly-print-rule-set
|
n/a
|
dynamic-rules.str
|
|
dr-friendly-print-rule-set-msg(ATerm msg)
|
n/a
|
dynamic-rules.str
|
|
dr-friendly-print-rule-set-msg(ATerm msg)
|
n/a
|
dynamic-rules.str
|
|
dr-friendly-print-rule-sets(ATerm names)
|
n/a
|
dynamic-rules.str
|
|
dr-friendly-print-scope
|
n/a
|
dynamic-rules.str
|
|
dr-friendly-print-scope
|
n/a
|
dynamic-rules.str
|
|
dr-get-first-scope-label(Strategy s, ATerm name)
|
Get the first scope label for which s succeeds starting with the inner, most recent, scope
|
dynamic-rules.str
|
|
dr-get-first-scope-label(Strategy s)
|
Get the first scope label for which s succeeds
|
dynamic-rules.str
|
|
dr-get-rule-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-get-scope-labels(ATerm name)
|
Get all scope labels ordered from inner, most recent, to outer, oldest
|
dynamic-rules.str
|
|
dr-get-scope-labels
|
n/a
|
dynamic-rules.str
|
|
dr-ignore-state(Strategy s, ATerm name)
|
Apply s in a state where the current dynamic rules for name are ignored
|
dynamic-rules.str
|
|
dr-ignore-states(Strategy s, ATerm names)
|
Apply s in a state where the current dynamic rules for names are ignored
|
dynamic-rules.str
|
|
dr-init-exception-block(Strategy has-finally, ATerm catch-tags, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-intersect-rule-sets
|
Intersection of two rule-sets
|
dynamic-rules.str
|
|
dr-intersect-rule-sets-symm
|
Symmetric intersection of two rule-sets
|
dynamic-rules.str
|
|
dr-intersect-symm(ATerm name)
|
Intersect live rule-set with given rule set changing both
|
dynamic-rules.str
|
|
dr-intersect-with(ATerm name)
|
Intersect live rule-set with given rule set changing the live rule set
|
dynamic-rules.str
|
|
dr-label(Strategy merge, Strategy s, ATerm rulenames, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-label-intersect(Strategy s, ATerm rulenames, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-label-scope(ATerm name, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-label-scope(ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-label-union(Strategy s, ATerm rulenames, ATerm label)
|
Label current point in data-flow with <label> to accommodate break's
|
dynamic-rules.str
|
|
dr-left-choice(Strategy s1, Strategy s2, ATerm rulenames)
|
Left choice with dynamic rule roll-back in case s1 fails
|
dynamic-rules.str
|
|
dr-lookup-all-rules(ATerm name, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-all-rules(ATerm key)
|
Fetch all definitions for key
|
dynamic-rules.str
|
|
dr-lookup-all-rules(Strategy look, ATerm key, ATerm removed)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-all-rules(Strategy look1, ATerm key, ATerm removed)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule(ATerm name, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule(ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule(Strategy look, ATerm key, ATerm removed)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule(Strategy look1, ATerm key, ATerm removed)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule-in-scope(ATerm key, ATerm scpid)
|
Version of dr-lookup-rule that looks for definition of a key in a particular scope
|
dynamic-rules.str
|
|
dr-lookup-rule-in-scope-cs(ATerm key, ATerm scpid)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule-in-scope-rs(ATerm key, ATerm scpid)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule-pointer(ATerm name, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule-pointer(ATerm key)
|
Fetch the most recent definition for key and return a pointer to the table that defines it
|
dynamic-rules.str
|
|
dr-lookup-rule-pointer(Strategy look, ATerm key, ATerm removed)
|
n/a
|
dynamic-rules.str
|
|
dr-lookup-rule-pointer(Strategy look1, ATerm key, ATerm removed)
|
n/a
|
dynamic-rules.str
|
|
dr-map-and-intersect(Strategy s, ATerm rulenames)
|
fork and intersect over a list
|
dynamic-rules.str
|
|
dr-merge-continue-change-sets(Strategy merge, ATerm label)
|
n/a
|
dynamic-rules.str
|
|
dr-merge-rule-sets(Strategy merge-rs, Strategy merge-cs)
|
n/a
|
dynamic-rules.str
|
|
dr-new-change-set
|
n/a
|
dynamic-rules.str
|
|
dr-new-rule-set
|
n/a
|
dynamic-rules.str
|
|
dr-new-scope
|
n/a
|
dynamic-rules.str
|
|
dr-print-rule-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-print-rule-set
|
n/a
|
dynamic-rules.str
|
|
dr-print-rule-set-msg(ATerm msg)
|
n/a
|
dynamic-rules.str
|
|
dr-print-rule-sets(ATerm names)
|
n/a
|
dynamic-rules.str
|
|
dr-print-scope
|
n/a
|
dynamic-rules.str
|
|
dr-print-scope
|
n/a
|
dynamic-rules.str
|
|
dr-remove-from-change-set(ATerm scpid, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-remove-from-rule-scope(ATerm scpid, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-remove-from-rule-set(ATerm scpid, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-rm-fail(ATerm scpid, ATerm tbl, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-rm-fail(ATerm scpid, ATerm tbl, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-rule-sets-hashtable
|
Retrieve the primitive dynamic rules hashtable
|
dynamic-rules.str
|
|
dr-save-rule-set
|
n/a
|
dynamic-rules.str
|
|
dr-scope(Strategy s, ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-scopes(Strategy s, ATerm names)
|
n/a
|
dynamic-rules.str
|
|
dr-set-fail(ATerm scpid, ATerm tbl, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-in-rule-set(ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-in-rule-set(ATerm label, ATerm key, ATerm value)
|
set a rule in the scope with specified label
|
dynamic-rules.str
|
|
dr-set-in-rule-set(Strategy set, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-in-rule-set(Strategy set1, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-in-rule-set-vis(ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-in-rule-set-vis(ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-in-rule-set-vis(Strategy set, Strategy rm, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-in-rule-set-vis(Strategy set1, Strategy rm1, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-rule(ATerm name, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-rule(ATerm name, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-rule-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-set-rule-vis(ATerm name, ATerm label, ATerm key, ATerm value)
|
n/a
|
dynamic-rules.str
|
|
dr-set-rules-vis(ATerm name, ATerm label, ATerm key, ATerm values)
|
n/a
|
dynamic-rules.str
|
|
dr-start-change-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-start-change-set
|
n/a
|
dynamic-rules.str
|
|
dr-switch-rule-set(ATerm name)
|
n/a
|
dynamic-rules.str
|
|
dr-throw(Strategy eq-test, ATerm tag, ATerm rulename)
|
n/a
|
dynamic-rules.str
|
|
dr-transaction(Strategy s, ATerm rulenames)
|
n/a
|
dynamic-rules.str
|
|
dr-undefine-rule(ATerm name, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-undefine-rule(ATerm name, ATerm label, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-undefine-rule-vis(ATerm name, ATerm label, ATerm key)
|
n/a
|
dynamic-rules.str
|
|
dr-union-rule-sets
|
Union of two rule-sets
|
dynamic-rules.str
|
|
dr-union-rule-sets-symm
|
n/a
|
dynamic-rules.str
|
|
dr-union-symm(ATerm name)
|
Merge live rule-set with give rule set using union changing both
|
dynamic-rules.str
|
|
dr-union-with(ATerm name)
|
Merge live rule-set with given rule set using union changing the live rule set
|
dynamic-rules.str
|
|
get-matching-id(Strategy eq-test, ATerm tag, ATerm rulename)
|
n/a
|
dynamic-rules.str
|
|
get-matching-id(ATerm catchID, ATerm rulename)
|
n/a
|
dynamic-rules.str
|
|
merge-rule-sets(Strategy merge)
|
n/a
|
dynamic-rules.str
|