CUBA
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123]
 ▼Ncmd
 CArguments
 ▼Ccmd_line
 Chelp
 Ccmd_runtime_errorCustomized runtime_error class for command line class
 COptions
 CSwitch
 ▼Ncuba
 Cbase_cuba
 Cexplicit_cubaExplicit_cuba: An explicit version for context-unbounded analysis
 Csymbolic_cubaSymbolic_cuba: A symbolic version for context-unbounded analysis
 ▼Nruba
 Calgs
 Calphabet
 Ccuba_exceptionCustomized exception
 Ccuba_runtime_errorCustomized runtime error class
 Cdebugger
 Cexplicit_state
 Cexplicit_state_tid
 Cfinite_automaton
 Cfsa_transition
 Cgenerator
 Clogger
 Cparser
 Cprop
 Cpushdown_automaton
 Csstack
 Cstore_automaton
 Csymbolic_state
 Cthread_state
 Cthread_visible_state
 Ctransition
 Cvisible_state