Documentation
Tagion
BehaviourOptions.bdd_gen_ext
tagion
tools
collider
BehaviourOptions
BehaviourOptions
Extension for the generated BDD-files
struct
BehaviourOptions
string
bdd_gen_ext
;
tagion
tools
collider
BehaviourOptions
BehaviourOptions
variables
bdd_ext
bdd_gen_ext
d_ext
dfmt
dfmt_flags
enable_package
iconv
iconv_flags
importfile
paths
regex_exc
regex_inc
schedule_file
Extension for the generated BDD-files