Strategy primitives
wGas(oidT,xInt) -- object with gas
- to control rewrites per object
tryObs(M,rsL,OwGs,OwGs’,xBool,xPath)
- tries all rules in rsL
- stops when there is no more gas or no more rules to apply
- returns the resulting extended path.
doAll(M,rsL,oidTs,oidTs’,xBool,xPath)
- extends xPath by applying all rules in rsL until no more apply.
- used for timeouts.
setHT(M,nzHT,nzHTO)
- sets holdTime and helloTime parameters of Hello module M.