  build_boolean_model - Compiles the flattened hierarchy into boolean SEXP
     __________________________________________________________________

   build_boolean_model [-h] [-f]

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

   Last updated on 2011/10/28 14h:49
