Strategy primitives

• A basic rewrite is given by a rule scheme instance

  ri(rs(rid,vid), oidT)
  

• Enabled(M,cfT,oidT,rs(rid,vid)) is true if in the module represented by M

ri(rs(rid,vid), oidT)

is enabled in the configuration represented by cfT, i.e.

meta-apply(M,cfT,rid,(vid<-oidT), 0)

succeeds.

• Fire(M,cfT,oidT,rs(rid,vid)) is the term so produced

Previous slide

Next slide

Back to first slide

View graphic version