- write()
: expression_t
, dve_transition_t
, dve_system_trans_t
, dve_system_t
, dve_process_t
, dve_prob_transition_t
, dve_prob_process_t
, dve_expression_t
, bymoc_transition_t
, bymoc_system_trans_t
, bymoc_system_t
, bymoc_process_t
, bymoc_expression_t
, transition_t
, system_trans_t
, system_t
, process_t
Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University