behaverify.dsl_to_cpp¶

This module is for internal use with BehaVerify. It is used to convert .tree files to C++ code. It contains a variety of utility functions.

depends on: tick_overwrite/tick_overwrite.py

Author: Serena Serafina Serbinowska Last Edit: 2024-05-21

Attributes¶

dsl_to_cpp(metamodel_file, model_file, main_name, ...)

Used to write all the files.

behaverify.dsl_to_cpp.dsl_to_cpp(metamodel_file, model_file, main_name, write_location, serene_print, max_iter, no_var_print, py_tree_print, recursion_limit, safe_assignment, no_checks)¶: Used to write all the files. @metamodel_file ::> points to the file with the metamodel @model_file ::> points to the file with the model @main_name ::> main name to be used for files @write_location ::> where to write files @serene_print ::> boolean, should we use custom printing? @max_iter ::> how many iterations @no_var_print ::> turns off printing vars @py_tree_print ::> turns on PyTree printing