classes

package Yaba

^ 

Contents

^ 
EntityTypeScopeShort Description
buffervariable publicundocumented
Dataclass public This class is the base class of all the classes that provide read function for YABA
DataGLMclass 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_initmarkfunction publicundocumented
DataGLM::read_invfunction publicundocumented
DataGLM::read_ptfunction publicundocumented
DataGLM::read_transfunction publicundocumented
DataGLM::read_unsafefunction publicundocumented
DataGLM::_get_tokenfunction publicundocumented
DataGLM::_init_tokensfunction publicundocumented
DataGLM::_rewind_tokenfunction publicundocumented
DataLLFclass 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_initmarkfunction publicundocumented
DataLLF::read_invfunction publicundocumented
DataLLF::read_transfunction publicundocumented
DataLLF::read_unsafefunction publicundocumented
DataMatclass public This class provides function to read the input file of YABA: it has variaous functions to parse the different parts of the file.
debugvariable publicundocumented
Errorclass public This class provides function to displays debugging and error messages.
Error::issue_errorfunction 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_messagefunction public This function prints a message on the standard output.
initializedvariable publicundocumented
levelvariable publicundocumented
mainfunction publicundocumented
Outclass public This class manages an output file, providing two functions to write to it.
out_filevariable publicundocumented
print_helpfunction public This function prints an help message
print_helpfunction publicundocumented
print_namefunction public This function prints a welcome screen
print_namefunction publicundocumented
tokentypedef publicundocumented
TransferBlockclass publicundocumented
TransSysclass public This class declares the basic functions for every transition system (set initial values, invariants and unsafe region, adding transition, and the pre operator).
TransSysDDDclass public This class can be used to create transition system, whose constraints will be stored in memory thanks to Difference Decision Diagrams(DDD's).
TransSysNDDclass 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_tuplefunction public This function computes the union of set and a set of intervals.

Created Wed Jan 16 15:09:01 2002.
This documentation was generated automatically by
ccdoc v0.8 r25 2001/11/19 bin_opt_gcc_linux-2.2.5-22smp.
Click here to submit a bug report or feature request.
Click here to return to the top of the page.