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
|
Strategy details
|
ATerm
|
dr-all-keys(ATerm removed, ATerm result)
|
Fetch all keys defined in a rule set.
|
|
ATerm
|
dr-begin-scope(ATerm name)
|
No information available.
|
|
ATerm
|
dr-begin-scopes(ATerm names)
|
No information available.
|
|
ATerm
|
dr-build-aggregated-change-set
|
This strategy takes a pair of lists of change sets and rule scopesand returns a change set which contains all the changes from thechange sets in the left member of the input pair which refer torule scopes in the right member of the input pair.
|
|
ATerm
|
dr-commit-change-set(ATerm name)
|
No information available.
|
|
ATerm
|
dr-discard-change-set(ATerm name)
|
No information available.
|
|
ATerm
|
dr-end-scope(ATerm name)
|
No information available.
|
|
ATerm
|
dr-end-scopes(ATerm names)
|
No information available.
|
|
ATerm
|
dr-fix-and-intersect-union(Strategy s, ATerm rulenames1, ATerm rulenames2)
|
Iterate combined union and intersection of two rule-sets
|
|
ATerm
|
dr-fix-and-union(Strategy s, ATerm rulenames)
|
Iterate union of two rule-sets
|
|
ATerm
|
dr-fix-change-set
|
Fixes references in change set that point to rule scopes that willno longer be part of the merged ruleset. It is assumed that the referencesthat point to rule scopes in rsbad have to be replaced with references tothe corresponding (according to position) rule scopes in rsgood.
No longer used.
|
|
ATerm
|
dr-fork-and-intersect-union(Strategy s1, Strategy s2, ATerm rulenames1, ATerm rulenames2)
|
Fork and combined union and intersection of two rule-sets
|
|
ATerm
|
dr-fork-and-merge(Strategy merge, Strategy s1, Strategy s2, ATerm rulenames)
|
Fork and merge two rule-sets.
|
|
ATerm
|
dr-fork-and-union(Strategy s1, Strategy s2, ATerm rulenames)
|
Fork and union of two rule-sets
|
|
ATerm
|
dr-get-first-scope-label(Strategy s, ATerm name)
|
Get the first scope label for which s succeeds starting with theinner, most recent, scope.
|
|
ATerm
|
dr-get-first-scope-label(Strategy s)
|
Get the first scope label for which s succeeds.
|
|
ATerm
|
dr-get-rule-set(ATerm name)
|
No information available.
type
|
_ -> List(RuleScope)
|
|
|
ATerm
|
dr-get-scope-labels(ATerm name)
|
Get all scope labels ordered from inner, most recent, to outer, oldest.
|
|
ATerm
|
dr-ignore-state(Strategy s, ATerm name)
|
File
|
dynamic-rules.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
s
|
strategy to apply (a -> b)
|
ATerm
name
|
name of the dynamic rules (String)
|
|
Apply s in a state where the current dynamic rules for name are ignored.
|
|
ATerm
|
dr-ignore-states(Strategy s, ATerm names)
|
File
|
dynamic-rules.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
s
|
strategy to apply (a -> b)
|
ATerm
names
|
names of the dynamic rules (List(String))
|
|
Apply s in a state where the current dynamic rules for names are ignored.
|
|
ATerm
|
dr-intersect-rule-sets
|
Intersection of two rule-sets
assumption: the scope structure is the sameintersection works scope by scopenote that labels are ignored
todo
|
: intersect labelsets as well!!??
|
|
|
ATerm
|
dr-intersect-rule-sets-symm
|
Symmetric intersection of two rule-sets
assumption: the scope structure is the sameintersection works scope by scopenote that labels are ignored
todo
|
: intersect labelsets as well!!
|
|
|
ATerm
|
dr-intersect-symm(ATerm name)
|
Intersect live rule-set with given rule set changing both.
|
|
ATerm
|
dr-intersect-with(ATerm name)
|
Intersect live rule-set with given rule set changing the live rule set.
|
|
ATerm
|
dr-label-scope(ATerm name, ATerm label)
|
No information available.
|
|
ATerm
|
dr-label-union(Strategy s, ATerm rulenames, ATerm label)
|
Label current point in data-flow with <label> to accommodatebreak's. Union of rule-sets after running <s>:- the "main" rule-set resulted by running <s>- all the rule-sets generated by calls to dr-breakwith the same label as this one
!! Only use this to label non-iterative statements. !!!! Use dr-fix-and-union which takes a label !! !! argument to label iterative statements. !!
|
|
ATerm
|
dr-left-choice(Strategy s1, Strategy s2, ATerm rulenames)
|
Left choice with dynamic rule roll-back in case s1 fails.
|
|
ATerm
|
dr-lookup-all-rules(ATerm key)
|
Fetch all definitions for key.
|
|
ATerm
|
dr-lookup-rule-in-scope(ATerm key, ATerm scpid)
|
Version of dr-lookup-rule that looks for definition of a keyin a particular scope. The expected scope id (scpid) is thepointer to the hashtable of a rule scope and is usuallyidentified by means of a label, i.e., a label indicates therule scope and the rule scope has a unique scope id.
|
|
ATerm
|
dr-lookup-rule-pointer(ATerm key)
|
Fetch the most recent definition for key and return a pointerto the table that defines it.
|
|
ATerm
|
dr-map-and-intersect(Strategy s, ATerm rulenames)
|
fork and intersect over a list
todo
|
: generalize to factor out table merge operation
|
|
|
ATerm
|
dr-rule-sets-hashtable
|
Retrieve the primitive dynamic rules hashtable.
|
|
ATerm
|
dr-set-in-rule-set(ATerm label, ATerm key, ATerm value)
|
set a rule in the scope with specified label
|
|
ATerm
|
dr-start-change-set(ATerm name)
|
No information available.
|
|
ATerm
|
dr-union-rule-sets
|
Union of two rule-sets
assumption: the scope structure of the two rule-sets is the sameand union works scope by scope
|
|
ATerm
|
dr-union-symm(ATerm name)
|
Merge live rule-set with give rule set using union changing both.
|
|
ATerm
|
dr-union-with(ATerm name)
|
Merge live rule-set with given rule set using union changing the live rule set.
|
|