Meta-Object Tower Rules

down:

< O’:MC’ | down:M.Q’ > o < O:MC | in:Q >

=>

< O’:MC’ | down:Q’ > o < O:MC | in:Q.M >

up:

< O’:MC’ | up:cQ’> o < O:MC | out:cfReq.cQ >

=>

< O’:MC’ | up:cQ’.cfReq> o < O:MC | out:cQ >

Previous slide

Next slide

Back to first slide

View graphic version