Joeri Exelmans 42757ddc4f add examples 9 月之前
..
README.txt 42757ddc4f add examples 9 月之前
m_fibonacci.od 80cba4b9f8 CBD model is computing Fibonacci numbers! :) 9 月之前
m_fibonacci_initial.od 80cba4b9f8 CBD model is computing Fibonacci numbers! :) 9 月之前
mm_design.od 80cba4b9f8 CBD model is computing Fibonacci numbers! :) 9 月之前
mm_runtime.od 80cba4b9f8 CBD model is computing Fibonacci numbers! :) 9 月之前
r_advance_time_lhs.od 80cba4b9f8 CBD model is computing Fibonacci numbers! :) 9 月之前
r_advance_time_nac.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
r_advance_time_rhs.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
r_delay_in_lhs.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
r_delay_in_nac.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
r_delay_in_rhs.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
r_delay_out_lhs.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
r_delay_out_nac.od 80cba4b9f8 CBD model is computing Fibonacci numbers! :) 9 月之前
r_delay_out_rhs.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
r_function_out_lhs.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
r_function_out_nac.od 80cba4b9f8 CBD model is computing Fibonacci numbers! :) 9 月之前
r_function_out_rhs.od ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前

README.txt

This directory contains the following files:

mm_design.od: Meta-model of design model
mm_runtime.od: Meta-model of runtime model

m_fibonacci.od: Design model for computing Fibonacci numbers
m_fibonacci_initial.od: Initial runtime model (=initial state), for our Fibonacci model

r__lhs.od: Left-hand side of model transformation rule
r__nac.od: Negative application condition of model transformation rule
r__rhs.od: Right-hand side of model transformation rule