build_flat_model - Compiles the flattened hierarchy into SEXP


build_flat_model [-h]

Compiles the flattened hierarchy into SEXP (initial states, invariants, and transition relation).


Last updated on 2006/12/06 08h:15