Namespace List

Here is a list of all namespaces with brief descriptions:
cz
cz::muni
cz::muni::stanse
cz::muni::stanse::automatonchecker
cz::muni::stanse::checkerDefines public abstract class Checker
cz::muni::stanse::codestructuresDefines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers
cz::muni::stanse::codestructures::builders
cz::muni::stanse::codestructures::traversal
cz::muni::stanse::configuration
cz::muni::stanse::configuration::source_enumerationDefines public class, which is base class for all the exceptions which can be thrown in SourceCodeEnumerators
cz::muni::stanse::cparser
cz::muni::stanse::gui
cz::muni::stanse::lockchecker
cz::muni::stanse::pointeranalyzerPointsToAnalyzer factory
cz::muni::stanse::pointeranalyzer::shapirohorwitz
cz::muni::stanse::pointeranalyzer::steensgaard
cz::muni::stanse::reachabilitycheckerReachabilityChecker implementation
cz::muni::stanse::statisticsCopyright (c) 2009 Marek Trtik
cz::muni::stanse::threadchecker
cz::muni::stanse::threadchecker::config
cz::muni::stanse::threadchecker::debug
cz::muni::stanse::threadchecker::exceptions
cz::muni::stanse::threadchecker::graph
cz::muni::stanse::threadchecker::locks
cz::muni::stanse::utilsLicensed under GPLv2
cz::muni::stanse::utils::msgformat
cz::muni::stanse::utils::xmlpatterns

Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6