Entity	Type	Scope	Short Description
buffer	variable	public	undocumented
Data	class	public	This class is the base class of all the classes that provide read function for YABA
DataGLM	class	public	This class provides function to read the input file of YABA: it has variaous functions to parse the different parts of the file.
DataGLM::read_initmark	function	public	undocumented
DataGLM::read_inv	function	public	undocumented
DataGLM::read_pt	function	public	undocumented
DataGLM::read_trans	function	public	undocumented
DataGLM::read_unsafe	function	public	undocumented
DataGLM::_get_token	function	public	undocumented
DataGLM::_init_tokens	function	public	undocumented
DataGLM::_rewind_token	function	public	undocumented
DataLLF	class	public	This class provides function to read the input file of YABA: it has variaous functions to parse the different parts of the file.
DataLLF::read_initmark	function	public	undocumented
DataLLF::read_inv	function	public	undocumented
DataLLF::read_trans	function	public	undocumented
DataLLF::read_unsafe	function	public	undocumented
DataMat	class	public	This class provides function to read the input file of YABA: it has variaous functions to parse the different parts of the file.
debug	variable	public	undocumented
Error	class	public	This class provides function to displays debugging and error messages.
Error::issue_error	function	public	This function will issue an error message The message will be : msg preceded by '**' if the pointer n is NULL, with respect to the current indentation
Error::issue_message	function	public	This function prints a message on the standard output.
initialized	variable	public	undocumented
level	variable	public	undocumented
main	function	public	undocumented
Out	class	public	This class manages an output file, providing two functions to write to it.
out_file	variable	public	undocumented
print_help	function	public	This function prints an help message
print_help	function	public	undocumented
print_name	function	public	This function prints a welcome screen
print_name	function	public	undocumented
token	typedef	public	undocumented
TransferBlock	class	public	undocumented
TransSys	class	public	This class declares the basic functions for every transition system (set initial values, invariants and unsafe region, adding transition, and the pre operator).
TransSysDDD	class	public	This class can be used to create transition system, whose constraints will be stored in memory thanks to Difference Decision Diagrams(DDD's).
TransSysNDD	class	public	This class can be used to create a transition system whose constraint will be stored in memory thanks to Number Decision Diagrams (NDD's), the datastructure implemented by the LASH package.
TransSysNDD::__add_tuple	function	public	This function computes the union of set and a set of intervals.