Namespace List

Here is a list of all namespaces with brief descriptions:

[detail level 12345]

▼Ncz
▼Nmuni
▼Nstanse
Nautomatonchecker
Nchecker	Defines public abstract class Checker
▼Ncodestructures	Defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers
Nbuilders
Ntraversal
▼Nconfiguration
Nsource_enumeration	Defines public class, which is base class for all the exceptions which can be thrown in SourceCodeEnumerators
Ncparser
Ngui
Nlockchecker
▼Npointeranalyzer	PointsToAnalyzer factory
Nshapirohorwitz
Nsteensgaard
Nreachabilitychecker	ReachabilityChecker implementation
Nstatistics	Copyright (c) 2009 Marek Trtik
▼Nthreadchecker
Nconfig
Ndebug
Nexceptions
Ngraph
Nlocks
▼Nutils	Licensed under GPLv2
Nmsgformat
Nxmlpatterns