cz::muni::stanse Namespace Reference


Classes

class  CmdLineManager
class  Stanse

Namespaces

namespace  automatonchecker
namespace  checker
 defines public abstract class Checker.
namespace  codestructures
 defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers.
namespace  configuration
namespace  cparser
namespace  gui
namespace  lockchecker
namespace  pointeranalyzer
 PointsToAnalyzer factory.
namespace  reachabilitychecker
 ReachabilityChecker implementation.
namespace  statistics
 Copyright (c) 2009 Marek Trtik.
namespace  threadchecker
namespace  utils
 Licensed under GPLv2.


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