Strategy details

ATerm

drsymboliclookup(Strategy aux, ATerm rs)

Utility


ATerm

drsymbolicmergerulesets(Strategy merge, Strategy call, Strategy aux, Strategy redef, ATerm rs1, ATerm R)

Merges dynamic rulesets


ATerm

phpintersectconstprop(Strategy s)

File

ruleset.str

Author

unknown

Since

unknown


Parameters
Strategy
s

s The strategy to execute.


Performs an intersect operations on the dynamic rulesets used forevaluation. Placed here for abstraction purposes. This strategyalso handles the dynamic ruleset for inclusion.


ATerm

phpunionconstprop(Strategy s1, Strategy s2)

File

ruleset.str

Author

unknown

Since

unknown


Parameters
Strategy
s1

s1 The first strategy to execute

Strategy
s2

s2 The second strategy to execute


Performs a union of the dynamic rulesets used for evaluation. This strategy also incorperates the saving and merging of theincludestate of file inclusion. So it is actually a combination of propogation and typestate.

